12 search results for "tag:"sat""

Showing 1 - 12
  1. 1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. OCaml bindings for batsat, a SAT solver in rust
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  3. 0.2.0
    BSD-3-Clause
    Used by 4 other packages
    25 Oct 2023
  4. 0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  5. 0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  6. 0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  7. 0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  8. A mcsat-based SMT solver in pure OCaml
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  9. Bindings to the SAT solver Minisat, with the solver included.
    0.6
    BSD-2-clause
    Used by 2 other packages
    14 Jun 2023
  10. Library containing a SAT solver that can be parametrized by a theory
    0.9.1
    Apache-2.0
    Used by 5 other packages
    24 Mar 2021
  11. SAT solver binary based on the msat library
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  12. QBF solving in OCaml, including bindings to solvers
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021