OpenSMT
From MaRDI portal
Software:20435
No author found.
Related Items (26)
Quantifier-Free Interpolation of a Theory of Arrays ⋮ Challenging SMT solvers to verify neural networks ⋮ A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints ⋮ SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving ⋮ Search-Space Partitioning for Parallelizing SMT Solvers ⋮ Satisfiability Modulo Theories ⋮ δ-Complete Decision Procedures for Satisfiability over the Reals ⋮ Simulating circuit-level simplifications on CNF ⋮ eVolCheck: Incremental Upgrade Checker for C ⋮ Automating Theorem Proving with SMT ⋮ An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty ⋮ Propagation based local search for bit-precise reasoning ⋮ Reasoning about algebraic data types with abstractions ⋮ Fairness modulo theory: a new approach to LTL software model checking ⋮ An interpolating sequent calculus for quantifier-free Presburger arithmetic ⋮ Resolution proof transformation for compression and interpolation ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra ⋮ Improved Single Pass Algorithms for Resolution Proof Reduction ⋮ dReal: An SMT Solver for Nonlinear Theories over the Reals ⋮ Interpolating Quantifier-Free Presburger Arithmetic ⋮ Integration of an LP Solver into Interval Constraint Propagation ⋮ OpenSMT2: An SMT Solver for Multi-core and Cloud Computing ⋮ Building Bridges between Symbolic Computation and Satisfiability Checking ⋮ Solving strong controllability of temporal problems with uncertainty using SMT ⋮ Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.
This page was built for software: OpenSMT
