A university scheduling problem solved by reduction to SAT and the use of a SAT solver (minisat).
Primary LanguageC++