OCaml logo
2 Search Results
mlbdd
An OCaml library for Binary Decision Diagrams (BDDs)
Arlen Cox <arlencox@gmail.com>
0.7.3
MIT
Used by 3 other packages
setr
Abstract domain library for sets
Arlen Cox <arlencox@gmail.com>
0.1.1
MIT
Used by 1 other packages