search

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

Fix bug in custom constraint parser, minor improvements #40

Closed prateekkumarweb closed 5 years ago

prateekkumarweb commented 5 years ago
  1. coreInMorningTime: Unbundled.
  2. electiveInNonMorningTime: Unbundled.
  3. Variables in custom parser can have < and >.
  4. Fix a bug in the unbundled custom constraint.
  5. CSV Input: Parse Y as Yes and N, ` asNo`.
  6. Display the course name of the failed custom constraint.
  7. Build: Do not build tests/tools/contrib in yaml-cpp.
  8. Snap: Fix issue when accessing files.
  9. minorInMinorTime: Unbundled.
  10. programAtMostOneOfCoreOrElective: Unbundled.
  11. exactlyOneFieldValuePerCourse: Unbundled.
  12. Wrap custom constraints grammar in a namespace and include that in doxygen.
  13. Fix bug caused due to MinorType being enum.
  14. CSV Input: Parse C, Y as Core; E as Elective; N, ` asNo`.
  15. Generate version numbers from a custom script gen_version.sh.
prateekkumarweb commented 5 years ago

@GoodDeeds It had to done in constraint_expr. I have done it.

sukrutrao commented 5 years ago

@prateekkumarweb Unbundling will require a few other changes as well. I will do it.