4 search results for "tag:"SMTLIB""

Showing 1 - 4
  1. archsat
    Documentation
    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
    02 Sep 2019
  2. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 8 other packages
    24 Jun 2024
  3. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  4. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024