SMT-LIB
From MaRDI portal
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
- Beaver
- Boolector
- CoCoALib
- CPBPV
- CUTE
- Dafny
- HOL-Boogie
- MetiTarski
- MiniSat
- QEPCAD
- QuBE++
- RegularChains
- Reveal
- SOLAR
- SYNRAC
- Zchaff2004
- Prosper
- MuTACLP
- SatEx
- BarcelogicTools
- HySAT
- SATLIB
- WoLFram
- ARGO-LIB
- TVOC
- VAMPIRE
- POEM
- FLATA
- REDLOG
- SPASS
- TPTP
- 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
- StarExec
- Stranger
- 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
This page was built for software: SMT-LIB
