SMT-LIB
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Integrating external deduction tools with ACL2
- Solving quantified verification conditions using satisfiability modulo theories
- Beaver
- Boolector
- CoCoALib
- CPBPV
- CUTE
- Dafny
- HOL-Boogie
- MetiTarski
- MiniSat
- lazyCoP
- StringFuzz
- ZaligVinder
- Ghidra
- QEPCAD
- FRAT
- MindtPy
- QuBE++
- CoSA
- Sylvan
- SMT Kit
- BtorMC
- lazybv2int
- metaSMT
- Pono
- SBV
- Smt-Switch
- Q3B
- Paracooba
- RegularChains
- Nunchaku
- Reveal
- SOLAR
- SYNRAC
- Zchaff2004
- Prosper
- SatEx
- MuTACLP
- HySAT
- BarcelogicTools
- WoLFram
- SATLIB
- TVOC
- ARGO-LIB
- VAMPIRE
- POEM
- Symbolic computation via program transformation
- SPASS
- FLATA
- TPTP
- REDLOG
- Effective use of SMT solvers for program equivalence checking through invariant-sketching and query-decomposition
- Valgrind
- Yices
- Why3
- Metis
- Polynomial constraints and unsat cores in \textsc{Tarski}
- Spec#
- SPASS+T
- Caduceus
- Frama-C
- DLV-EX
- SATIRE
- UCLID
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Solving quantified linear arithmetic by counterexample-guided instantiation
- Randomized algorithms for finding the shortest negative cost cycle in networks
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Cutting the mix
- cvc3
- z3
- Alt-Ergo
- LLVM
- KLEE
- SIMPLIFY
- The incremental satisfiability problem for a two conjunctive normal form
- Orbital library
- Tactics and certificates in Meta Dedukti
- Positive solutions of systems of signed parametric polynomial inequalities
- A generic framework for implicate generation modulo theories
- Superposition with datatypes and codatatypes
- A FOOLish encoding of the next state relations of imperative programs
- Datatypes with shared selectors
- MiniZinc
- FlatZinc
- SATzilla
- clpfd
- PoCaB
- COMICS
- FunFrog
- I-SATCHMO
- GiNaCRA
- Zenon
- Zap
- E-Darvin
- Princess
- Sledgehammer
- PDDL
This page was built for software: SMT-LIB
