v0.3.0

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

v0.2.0

• Fix bug on custom constraints from the previous version.

v0.1.0

• Basic working solver
• Code documentation can be found at https://timetabler.readthedocs.io/en/v0.1.0/.