witan-org

Results 1 repositories owned by witan-org

witan

15
Stars
0
Forks
Watchers

An ocaml implementation of conflict-driven reasoning

verified publisher icon witan-org