11 search results for "tag:"smt""

  1. archsat
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 02 Sep 2019
  2. bitwuzla
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    Last published 24 Feb 2023
  3. bitwuzla-bin
    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    Last published 12 Jul 2021
  4. bitwuzla-c
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    Last published 24 Feb 2023
  5. dolmen
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 6 other packages
    Last published 13 Feb 2023
  6. dolmen_bin
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  7. mc2
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    Last published 18 Nov 2020
  8. msat
    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 4 other packages
    Last published 24 Mar 2021
  9. smbc
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    Last published 14 Nov 2019
  10. smtlib-utils
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.4
    BSD-2-Clause
    Used by 0 other packages
    Last published 28 Jun 2022
  11. smtp
    SMTP library with Unix and Lwt backends
    smtp
    Vincent Bernardoff <vb@luminar.eu.org>
    0.3
    ISC
    Used by 0 other packages
    Last published 09 Sep 2016