witan-org / witan

An ocaml implementation of conflict-driven reasoning
15Updated 6 years ago

Alternatives and similar repositories for witan:

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