SMT-LIB
From MaRDI portal
Software:16290
swMATH4103MaRDI QIDQ16290FDOQ16290
Author name not available (Why is that?)
Official website: https://smt-lib.org/
Source code repository: https://zenodo.org/communities/smt-lib/
Cited In (only showing first 100 items - show all)
- Extending Sledgehammer with SMT solvers
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Automated Reasoning
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
- Boolector
- HOL-Boogie
- QEPCAD
- QuBE++
- Prosper
- SatEx
- SATLIB
- WoLFram
- SPASS
- Caduceus
- Frama-C
- DLV-EX
- Valgrind
- SATIRE
- Why3
- Yices
- Alt-Ergo
- cvc3
- Spec#
- KLEE
- LLVM
- SPASS+T
- UCLID
- SIMPLIFY
- z3
- Orbital library
- FlatZinc
- clpfd
- MiniZinc
- SATzilla
- PoCaB
- COMICS
- FunFrog
- I-SATCHMO
- GiNaCRA
- E-Darvin
- Princess
- Zenon
- bv2epr
- Kodkod
- Zap
- dReal
- Sledgehammer
- PDDL
- PicoSAT
- ESC/Java
- ESC4
- GATeL
- Eclat
- QuickCheck
- CPAchecker
- SMTInterpol
- VCC
- TaPAS
- veriT
- CVC Lite
- Boogie
- HipSpec
- KRATOS
- PeRIPLO
- Zeno
- CLSAT
- OpenSMT
- NLCertify
- SYMBA
- Leon
- StarExec
- CVC
- CVC4
- MathSAT
- MathSAT5
- CBMC
- Aligators
- eVolCheck
- Stranger
- Eldarica
- QBFLIB
- iProver
- gmm++
- PARAM
- K tool
- Petrify
- Squolem
- TLAPS
- TLC
- WhyML
- Sugar
- VeriCool
- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
- Dafny: an automatic program verifier for functional correctness
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Automatic proof and disproof in Isabelle/HOL
- dReal: an SMT solver for nonlinear theories over the reals
- bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR
- Metis
- Faster, higher, stronger: E 2.3
This page was built for software: SMT-LIB
