2 search results for "author:"Arlen Cox <arlencox@gmail.com>""

Showing 1 - 2
  1. mlbdd
    Documentation
    An OCaml library for Binary Decision Diagrams (BDDs)
    Arlen Cox <arlencox@gmail.com>
    0.7.3
    MIT
    Used by 3 other packages
    29 Jan 2022
  2. setr
    Documentation
    Abstract domain library for sets
    Arlen Cox <arlencox@gmail.com>
    0.1.1
    MIT
    Used by 1 other packages
    11 Aug 2015