1 search result for "tag:"clib:qdpll""

Showing 1 - 1
  1. qbf
    Documentation
    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021