GitHub - Viasat/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
More Web Proxy on the site http://driver.im/
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.
8000
Dismiss alert
Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library
Please note this is a pre-release version and the API is unstable.
About
Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constraint programming library