IP::set_time_limit.
Comments.
Optionally write solution to file.
One test case from NSPLib (for testing).
NSPLib test case and Python script to run solver.
Minisat sudoku test.
NurseProblem::objective