·
125 commits
to master
since this release
Changes since v0.2.0:
- Implement Tseitin encoding for disjunction of clauses
- Change method of creating constraints to save time and memory when solving
- Add and implement EXCEPT and UNBUNDLE to grammar of custom constraints
- Fix bugs in setting weights of constraints along with other minor bug fixes
- Add feature to display list of predefined or custom constraints unsatisfied, if any
- Allow partial (invalid, incomplete) timetable to be generated when possible
- Update examples
- Update versions of dependencies to YAML-CPP 0.6.2, PEGTL 2.7.0, Open-WBO 2.1
- Enable running tests using CMake and make gtest necessary only when building tests