2 Search Results
mlbdd
An OCaml library for Binary Decision Diagrams (BDDs)
0.7.3
MIT
Used by 3 other packages
setr
Abstract domain library for sets
0.1.1
MIT
Used by 1 other packages