Timetabler Versions Save

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

v0.3.0

5 years ago

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

5 years ago
  • Fix bug on custom constraints from the previous version.

v0.1.0

6 years ago