Dolmen-Smtml

Improving the OCaml ecosystem libraries for SMT solving
Is freely licensed? ✅
Website https://github.com/Gbury/dolmen
NLNet grant pages