Conflict Analysis is essential when you develop constraints. Because we human being always mistakes, which results in no solution because of conflicting hard rules. Conflict Analysis reports what is conflicting.

Schedule Nurse3 allows you to set the number of solutions you want. Once you get the solution, you can get them consecutively.

When the Solver finds that no better solution exists, i.e., finds optimum value, the Solver terminates automatically. When the Solver finds the solution does not exist, the Solver reports unsatisfactory. For examples, sudoku needs only one solution. You can not confirm it by using a meta-heuristic solver.

Our experience shows 90%users do not need Python because of the powerful GUI capability. To address a few exceptional cases, we have built-in python3 to program the constraints and a built-in editor.