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