A reservation system for uni classes, modelled as a CSP and implemented using clpfd.
Primary LanguageJava