open-wbo

There are 0 repository under open-wbo topic.

sukrutrao / Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
constraint-satisfaction-problem satisfiability maxsat sat-solver sat timetable-generator timetabler iith iit-hyderabad custom-constraints maxsat-solver timetable timetable-builder open-wbo cpp
Language:C++ 38