sukrutrao/Timetabler

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

语言：C++ · GitHub 星标：43 · Fork：10

话题：constraint-satisfaction-problem · cpp · custom-constraints · iit-hyderabad · iith · maxsat · maxsat-solver · open-wbo

在 GitHub 上查看原仓库