Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
Primary LanguageClojureMIT LicenseMIT