maxsat-solver topic

List maxsat-solver repositories

Timetabler

Stars

Forks

Watchers

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

sukrutrao

constraint-satisfaction-problem

cpp

custom-constraints

iit-hyderabad