Rule-based sorting of experts in teams

This is a real-world problem based on an activity I am organising, involving about 20 different people. So, the aim is to sort these people into teams of 4 or 5, according to a set of rules like:

1. Person (1) cannot be in the same team as person (4).
2. (3), (8) and (16) are all electronics experts, so they need to be in different teams for better skills balance.
3. Person (9) must be in the same team with person (14), to satisfy their a mentor-student relationship.
4. Persons (1)-(12) belong to cohort 1, the rest belong to cohort 2. The teams must be balanced in a way to include people from both cohorts, as close as possible to a 50-50 split.

Any recommendations of algorithms/methods/libraries that can help?