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
11Updated last year

Alternatives and similar repositories for halite:

Users that are interested in halite are comparing it to the libraries listed below