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

Showing 1 - 1
  1. An abstraction layer for integrating SAT Solvers into OCaml
    0.7.1
    BSD-3-clause
    Used by 1 other packages
    16 Nov 2022