Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool