1 search result for "author:"Maurice Herwig""

  1. ocaml-sat-solvers
    An abstraction layer for integrating SAT Solvers into OCaml
    Oliver Friedmann Martin Lange Maurice Herwig
    0.7.1
    BSD-3-clause
    Used by 0 other packages
    Last published 16 Nov 2022