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
38 stars 9 forks source link

Create release #1

Closed sbjoshi closed 7 years ago

sbjoshi commented 7 years ago

@GoodDeeds Please create a release of a stable version. The changes regarding Tseitin encoding etc can be done later.

sukrutrao commented 7 years ago

@sbjoshi Sir, the release has been created, and can be viewed here. We will add more examples as well. Code documentation can be found at http://timetabler.readthedocs.io.