The successor to Salt.
Please note this is a pre-release version and the API is unstable.
timothypratley/halite
Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
ClojureMIT