Update verify to check only if the predefined constraint is hard

sukrutrao / Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

https://timetabler.readthedocs.io

MIT License

37 stars 9 forks source link

Update verify to check only if the predefined constraint is hard #17

Closed prateekkumarweb closed 5 years ago

prateekkumarweb commented 6 years ago

Signed-off-by: Prateek Kumar prateek@prateekkumar.in

prateekkumarweb commented 6 years ago

For this PR, I think this is OK.

In future, I would like to have different verbosity levels and these extra lines (when soft) to be printed as "INFO".