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.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