Giters
witan-org
Geek Repo
Github PK Tool:
Github PK Tool
witan-org's repositories
witan
An ocaml implementation of conflict-driven reasoning
Language:
OCaml
License:
LGPL-2.1
Stargazers:
15
Issues:
6
Issues:
0