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

Related projects

Alternatives and complementary repositories for halite