4 search results for "tag:"smtlib""

  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. 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
  3. 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
  4. 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