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

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