branch ready to merge (last feature added: meet_all_constraints (Julia))