×

Found 161 Software Packages (Results 1–100)

SMT-LIB

Software Authors:   Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Referenced in: 188 Publications (2004–2022)
Related Software: z3; CVC4; Yices; TPTP; MiniSat; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Yices

Software Authors:   B. Dutertre; L. de Moura
Referenced in: 150 Publications (1992–2022)
Related Software: z3; SMT-LIB; CVC4; MiniSat; MathSAT5; cvc3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

CVC4

Software Authors:   Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.
Referenced in: 124 Publications (2013–2022)
Related Software: z3; SMT-LIB; MathSAT5; Yices; VAMPIRE; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Boogie

Software Authors:   K. Rustan M. Leino
Referenced in: 114 Publications (2007–2022)
Related Software: z3; Why3; Spec#; KRAKATOA; Caduceus; ESC/Java; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

cvc3

Software Authors:   Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King
Referenced in: 78 Publications (2006–2021)
Related Software: z3; SMT-LIB; Yices; SIMPLIFY; Why3; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

VeriFast

Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Referenced in: 60 Publications (2009–2022)
Related Software: Boogie; Dafny; Why3; z3; Spec#; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

MathSAT5

Software Authors:   Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
Referenced in: 61 Publications (2013–2022)
Related Software: z3; CVC4; Yices; SMT-LIB; SMTInterpol; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

MathSAT

Software Authors:   Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Referenced in: 56 Publications (2005–2022)
Related Software: z3; Yices; MiniSat; SMT-LIB; HySAT; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Referenced in: 39 Publications (2009–2022)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

dReal

Software Authors:   Gao, Sicun; Kong, Soonho; Clarke, Edmund M.
Referenced in: 36 Publications (2013–2022)
Related Software: z3; CalCS; HOL Light; Coq; Yices; MathSAT5; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

nuXmv

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
Referenced in: 32 Publications (2015–2022)
Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

veriT

Software Authors:   Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
Referenced in: 31 Publications (2011–2021)
Related Software: z3; SMT-LIB; CVC4; Coq; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Real functions (26-XX)

EasyCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella
Referenced in: 32 Publications (2011–2021)
Related Software: Coq; F*; CryptHOL; Isabelle/HOL; AVISPA; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Boolector

Software Authors:   Brummayer, Robert; Biere, Armin
Referenced in: 30 Publications (2010–2022)
Related Software: z3; SMT-LIB; Yices; STP; CVC4; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Reluplex

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer
Referenced in: 27 Publications (2017–2021)
Related Software: AI2; Adam; Marabou; MNIST; DeepFool; NNV; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

OpenSMT

Software Authors:   Bruttomesso, Roberto; Pek, Edgar; Sharygina, Natasha; Tsitovich, Aliaksei
Referenced in: 26 Publications (2010–2018)
Related Software: z3; MathSAT5; CVC4; FOCI; SMT-LIB; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Moses

Software Authors:   Koehn P, Hoang H, Birch A, Callison-Burch C, Federico M, Bertoldi N, Cowan B, Shen W, Moran C, Zens R, Dyer C, Bojar O, Constantin A, Herbst E
Referenced in: 10 Publications (2012–2022)
Related Software: BLEU; Europarl; SRILM; Tensor2Tensor; OpenNMT; Adam; …
Main Fields: Computer science (68-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Referenced in: 23 Publications (2010–2022)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SMTInterpol

Software Authors:   Jochen Hoenicke, Jürgen Christ, Alexander Nutz
Referenced in: 21 Publications (2015–2021)
Related Software: z3; MathSAT5; CPAchecker; CVC4; Ultimate Automizer; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

dReach

Software Authors:   S. Kong, S. Gao, W. Chen, E. M. Clarke
Referenced in: 22 Publications (2015–2021)
Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; dReal; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Referenced in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cubicle

Software Authors:   Conchon, S., Goel, A., Krstić, S., Mebsout, A., Zaïdi, F.
Referenced in: 18 Publications (2013–2021)
Related Software: Mcmt; z3; VERIFAS; SAFARI; Ivy; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SMT-RAT

Software Authors:   Corzilius, F., Kremer, G., Junges, S., Schupp, S., Ábrahám, E.
Referenced in: 18 Publications (2013–2021)
Related Software: SMT-LIB; CVC4; z3; QEPCAD; MathSAT5; REDLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Real functions (26-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Referenced in: 18 Publications (2015–2022)
Related Software: z3; Yices; HMC; Boogie; Princess; Mjollnir; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPASS+T

Software Authors:   Virgile Prevosto; Uwe Waldmann
Referenced in: 19 Publications (2007–2016)
Related Software: z3; TPTP; HOL Light; Isabelle/HOL; MetiTarski; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-XX)

Europarl

Software Authors:   Philipp Koehn
Referenced in: 11 Publications (2011–2022)
Related Software: BLEU; Moses; WordNet; Scikit; PMA; Adam; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

LLBMC

Software Authors:   Falke, Stephan; Merz, Florian; Sinz, Carsten
Referenced in: 12 Publications (2012–2021)
Related Software: CBMC; UFO; CPAchecker; MiniSat; z3; BLAST; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

WoLFram

Software Authors:   Sülflow, André
Referenced in: 16 Publications (2010–2022)
Related Software: R; KLEE; z3; Yices; Daikon; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Mjollnir

Software Authors:   D. Monniaux
Referenced in: 13 Publications (2011–2021)
Related Software: MiniSat; z3; Spacer; Chaff; SIMPLIFY; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

PROPhESY

Software Authors:   Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., Ábrahám, E.
Referenced in: 14 Publications (2015–2022)
Related Software: PRISM; Storm; PARAM; MRMC; Sylvan; GitHub; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

smt

Software Authors:   Redivo-Zaglia, Michela; Rodriguez, Giuseppe
Referenced in: 13 Publications (2008–2019)
Related Software: Regularization tools; Matlab; drsolve; na31; hubauth; OPQ; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

vZ

Software Authors:   N. Bjørner, A.-D. Phan, L. Fleckenstein
Referenced in: 14 Publications (2015–2021)
Related Software: z3; OptiMathSAT; SYMBA; MathSAT5; SMT-LIB; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Referenced in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Norn

Software Authors:   Abdulla, P.A., Atig, M.F., Chen, Y.-F., Holík, L., Rezine, A., Rümmer, P., Stenman, J.
Referenced in: 11 Publications (2017–2022)
Related Software: HAMPI; Z3str3; Stranger; S3; CVC4; Z3-str; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Referenced in: 10 Publications (2017–2021)
Related Software: Ivy; z3; nuXmv; Verdi; Dafny; googletest; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PySMT

Software Authors:   Marco Gario, Andrea Micheli
Referenced in: 9 Publications (2017–2022)
Related Software: z3; MathSAT5; Yices; SMT-LIB; CTIGAR; SymPy; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

VeriMAP

Software Authors:   De Angelis E, Fioravanti F, Pettorossi A, Proietti M
Referenced in: 10 Publications (2015–2021)
Related Software: z3; SeaHorn; TRACER; ARMC; HSF; Datalog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Z3str3

Software Authors:   Berzish, M., Ganesh, V., Zheng, Y.
Referenced in: 10 Publications (2018–2021)
Related Software: Norn; HAMPI; Stranger; S3; z3; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Beaver

Software Authors:   Sanjit Seshia
Referenced in: 9 Publications (2010–2021)
Related Software: Yices; z3; MathSAT; Boolector; MiniSat; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SAFARI

Software Authors:   Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.
Referenced in: 8 Publications (2014–2020)
Related Software: Mcmt; z3; Booster; MathSAT5; CVC4; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BarcelogicTools

Software Authors:   Albert Oliveras; Robert Nieuwenhuis
Referenced in: 9 Publications (2005–2009)
Related Software: SMT-LIB; z3; cvc3; MiniSat; Yices; UCLID; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

ERODE

Software Authors:   Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.
Referenced in: 9 Publications (2017–2021)
Related Software: z3; BioNetGen; Bio-PEPA; PRISM; NFsim; Flow*; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX)

Marabou

Software Authors:   Katz, G., Huang, D.A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S.,Wu, H., Zelji ́c, A., Dill, D.L., Kochenderfer, M.J., Barrett, C.
Referenced in: 7 Publications (2021)
Related Software: Reluplex; MNIST; AI2; VERIFAI; PRODeep; XNOR-Net; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Rex

Software Authors:   Veanes, M.; De Halleux, P.; Tillmann, N.
Referenced in: 8 Publications (2011–2021)
Related Software: MONA; z3; Spacer; IsaPlanner; SemRegex; BLEU; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SMTCoq

Software Authors:   Ekici, B., et al.
Referenced in: 9 Publications (2017–2021)
Related Software: Coq; z3; Sledgehammer; Isabelle/HOL; CVC4; AVATAR; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Geometry (51-XX)

Z3-str

Software Authors:   Zheng Y, Zhang X, Ganesh V
Referenced in: 8 Publications (2015–2021)
Related Software: S3; HAMPI; z3; PASS; Stranger; Norn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CalCS

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.
Referenced in: 8 Publications (2013–2019)
Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

ESBMC

Software Authors:   University of Southampton, University of Stellenbosch, Federal University of Amazonas; Cordeiro, Lucas; Morse, Jeremy; Nicole, Denis; Fischer, Bernd
Referenced in: 4 Publications (2014–2020)
Related Software: CBMC; LLBMC; BLAST; RELAY; LOCKSMITH; Threader; …
Main Fields: Computer science (68-XX)

iProver-Eq

Software Authors:   Korovin, Konstantin; Sticksel, Christoph
Referenced in: 8 Publications (2010–2017)
Related Software: iProver; TPTP; E Theorem Prover; E-Darvin; DCTP; Darwin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KRATOS

Software Authors:   A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, M. Roveri
Referenced in: 7 Publications (2011–2018)
Related Software: BLAST; SystemC; SatAbs; LusSy; veriSoft; DDVerify; …
Main Fields: Computer science (68-XX)

PAGAI

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy
Referenced in: 8 Publications (2014–2020)
Related Software: Apron; PPL; HyTech; PHAVer; ASTREE; efmtool; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

raSAT

Software Authors:   Khanh, T.V., Ogawa, M.
Referenced in: 8 Publications (2016–2021)
Related Software: SMT-RAT; SMT-LIB; CVC4; z3; Yices; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

Skew

Software Authors:   Ferreres G, Biannic J-M.
Referenced in: 8 Publications (1999–2015)
Related Software: Mu Analysis and Synthesis Toolbox; LMI toolbox; LFR-toolbox; YALMIP; Optimization Toolbox; Robust Control Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Difference and functional equations (39-XX); Systems theory; control (93-XX)

Alloy*

Software Authors:   Milicevic, A., Near, J.P., Kang, E., Jackson, D.
Referenced in: 6 Publications (2017–2021)
Related Software: z3; GitHub; margrave; TestEra; Kodkod; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

bv2epr

Software Authors:   Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
Referenced in: 7 Publications (2013–2018)
Related Software: STP; z3; Yices; NuSMV; SMT-LIB; Boolector; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

H-PILoT

Software Authors:   Carsten Ihlemann, Viorica Sofronie-Stokkermans
Referenced in: 6 Publications (2009–2021)
Related Software: z3; REDLOG; Cubicle; VAMPIRE; GRASShopper; UFO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

NLambda

Software Authors:   Bartek Klin; Michał Szynwelski
Referenced in: 7 Publications (2016–2022)
Related Software: LOIS; z3; Haskell; SETL; Sigma*
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TACO

Software Authors:   Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias
Referenced in: 4 Publications (2013–2021)
Related Software: Java PathFinder; TestEra; Korat; GitHub; Kodkod; JPF-SE; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

c2i

Software Authors:   Sharma, Rahul; Aiken, Alex
Referenced in: 5 Publications (2016–2020)
Related Software: z3; Houdini; Spacer; Eldarica; Princess; FLATA; …
Main Fields: Computer science (68-XX)

CLSAT

Software Authors:   Duckki Oe; Andrew Reynolds; Aaron Stump
Referenced in: 6 Publications (2013–2021)
Related Software: Isabelle/HOL; z3; SMT-LIB; veriT; cvc3; DRAT-trim; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FocalTest

Software Authors:   Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud
Referenced in: 6 Publications (2011–2018)
Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Kind 2

Software Authors:   Cesare Tinelli, Adrien Champion
Referenced in: 5 Publications (2016–2021)
Related Software: z3; nuXmv; SPIN; MathSAT5; NuSMV; ABC; …
Main Fields: Computer science (68-XX)

LinAIG

Software Authors:   Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
Referenced in: 6 Publications (2011–2016)
Related Software: z3; CUDD; SpaceEx; HyTech; PHAVer; Mjollnir; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

LOIS

Software Authors:   Kopczyński, Eryk; Toruńczyk, Szymon
Referenced in: 6 Publications (2017–2022)
Related Software: NLambda; Sigma*; z3; Haskell; SMT-LIB
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Nagoya Termination Tool

Software Authors:   Yamada, A., Kusakari, K., Sakabe, T.
Referenced in: 6 Publications (2014–2019)
Related Software: Tyrolean; AProVE; CeTA; Isabelle/HOL; TPA; CoCoWeb; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rosette

Software Authors:   Torlak, E., Bodík, R.
Referenced in: 6 Publications (2016–2021)
Related Software: GitHub; FlashMeta; Alloy*; YACC; Qlose; Spacer; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Skeptik

Software Authors:   Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
Referenced in: 5 Publications (2014–2018)
Related Software: FOCI; STP; Lingeling; Treengeling; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Referenced in: 6 Publications (2018–2021)
Related Software: TcT; z3; Separation Logic; OptiMathSAT; Amortized Complexity; KITTeL; …
Main Fields: Computer science (68-XX)

Ultimate Automizer

Software Authors:   Heizmann, Matthias; Christ, Jürgen; Dietsch, Daniel; Ermis, Evren; Hoenicke, Jochen; Lindenmann, Markus; Nutz, Alexander; Schilling, Christian; Podelski, Andreas
Referenced in: 5 Publications (2015–2021)
Related Software: SMTInterpol; CBMC; AProVE; z3; CIL; SymDiff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ASPMT2SMT

Software Authors:   Bartholomew, Michael; Lee, Joohyung
Referenced in: 5 Publications (2014–2020)
Related Software: Clingcon; DLV2; ezcsp; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX)

CryptoSMT

Software Authors:   Kölbl, S
Referenced in: 5 Publications (2015–2022)
Related Software: SIMON; HIGHT; SPECK; LEA; GitHub; SIMECK; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Referenced in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; MathSAT5; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

intuit

Software Authors:   Claessen, Koen; Rosén, Dan
Referenced in: 5 Publications (2015–2021)
Related Software: ILTP; BDDTab; InKreSAT; GoedelGod; Archive Formal Proofs; Gen2sat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

M-Sim

Software Authors:   Joseph J. Sharkey, Dmitry Ponomarev, Kanad Ghose
Referenced in: 3 Publications (2008–2019)
Related Software: SimpleScalar; LIFT; JFlow; SIFT; Wattch
Main Fields: Computer science (68-XX)

OpenSMT2

Software Authors:   Hyvärinen, Antti E.J.; Marescotti, Matteo; Alt, Leonardo; Sharygina, Natasha
Referenced in: 5 Publications (2016–2020)
Related Software: SMTS; MathSAT5; eVolCheck; PeRIPLO; FunFrog; TreeAutomizer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Psyche

Software Authors:   Graham-Lengrand, Stéphane
Referenced in: 5 Publications (2013–2020)
Related Software: Isabelle; intuit; ILTP; TRAMP; GAPT; Easychair; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SIMPLY

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.
Referenced in: 5 Publications (2010–2020)
Related Software: MiniZinc; Yices; SMT-LIB; FlatZinc; MiniSat; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SMTtoTPTP

Software Authors:   Baumgartner, P.
Referenced in: 5 Publications (2015–2017)
Related Software: TPTP; SMT-LIB; z3; QBFEVAL; IDV; FOOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

WPM2

Software Authors:   Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Referenced in: 4 Publications (2016–2017)
Related Software: Sat4j; MaxHS; MiniMaxSat; CCLS; QMaxSAT; SMAC; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Z3str2

Software Authors:   Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu
Referenced in: 4 Publications (2017–2021)
Related Software: HAMPI; Z3str3; Stranger; Norn; z3; CVC4; …
Main Fields: Computer science (68-XX)

CoReS

Software Authors:   König, Barbara; Nederkorn, Maxime; Nolte, Dennis
Referenced in: 4 Publications (2018–2022)
Related Software: z3; SMT-LIB; MEMSALab; SemidefiniteProgramming; Limboole
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

fzn2smt

Software Authors:   Bofill, M., Palahí, M., Suy, J., Villaret, M.
Referenced in: 4 Publications (2012–2017)
Related Software: MiniZinc; Gecode; SCIP; Essence; COMET; FlatZinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

iSAT

Software Authors:   K. Scheibler, S. Kupferschmid, B. Becker
Referenced in: 4 Publications (2015–2017)
Related Software: z3; SMT-RAT; MathSAT5; CVC4; MiniSat; OpenSMT; …
Main Fields: Computer science (68-XX)

LiquidHaskell

Software Authors:   Vazou, Niki; Seidel, Eric L.; Jhala, Ranjit; Vytiniotis, Dimitrios; Peyton-Jones, Simon
Referenced in: 4 Publications (2014–2020)
Related Software: Haskell; Ivy; TreeAutomizer; RAHFT; Spacer; Houdini; …
Main Fields: Computer science (68-XX)

Cascade

Software Authors:   Wang, W., Barrett, C., Wies, T.
Referenced in: 2 Publications (2020–2021)
Related Software: SMACK; SatAbs; UFO; CPAchecker; VCC; KLEE; …
Main Fields: Computer science (68-XX)

Imandra

Software Authors:   Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
Referenced in: 3 Publications (2020–2021)
Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Looper

Software Authors:   Burnim J, Jalbert N, Stergiou C, Sen K
Referenced in: 3 Publications (2016–2018)
Related Software: z3; Snugglebug; Boogie; DART; Con2colic; STP; …
Main Fields: Computer science (68-XX)

Nunchaku

Software Authors:   Reynolds, Andrew; Blanchette, Jasmin Christian; Cruanes, Simon; Tinelli, Cesare
Referenced in: 3 Publications (2016–2019)
Related Software: z3; Nitpick; Kodkod; Isabelle/HOL; CVC4; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Qex

Software Authors:   Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan
Referenced in: 3 Publications (2010–2011)
Related Software: MONA; z3; TPTP; Dafny
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SONOLAR

Software Authors:   Lapschies, F., Peleska, J., Gorbachuk, E., Mangels
Referenced in: 3 Publications (2014–2018)
Related Software: ASTREE; MathSAT5; HOL Light; z3; XSat; UppSAT; …
Main Fields: Computer science (68-XX)

SymDIVINE

Software Authors:   Mrázek, J., Bauch, P., Lauko, H., Barnat, J
Referenced in: 2 Publications (2018)
Related Software: jCUTE; CIL; Symbiotic 2; nuXmv; CBMC; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Thot

Software Authors:   D. Ortiz-Martínez, I. García-Varea, F. Casacuberta
Referenced in: 1 Publication (2007)
Related Software: BLEU; SRILM; TreeTagger
Main Fields: Computer science (68-XX)

TSAT++

Software Authors:   Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
Referenced in: 3 Publications (2005–2008)
Related Software: CVC; SMT-LIB; Chaff; MiniSat; CVC Lite; lp_solve; …
Main Fields: Computer science (68-XX)

Turbo-SMT

Software Authors:   Papalexakis, Evangelos E.; Mitchell, Tom M.; Sidiropoulos, Nicholas D.; Faloutsos, Christos; Talukdar, Partha Pratim; Murphy, Brian
Referenced in: 3 Publications (2016)
Related Software: GigaTensor; TensorToolbox; PARAFAC; PRMLT; MultiVis; DBpedia; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)

vlogsl

Software Authors:   Katelman, Michael; Meseguer, José
Referenced in: 3 Publications (2011–2013)
Related Software: Java+ITP; K Prover; Dist-Orc; MOMENT2; K tool; PVeStA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ac2lus

Software Authors:   Altisen K, Moy M
Referenced in: 2 Publications (2014–2016)
Related Software: CATS; COINC; LUSTRE; gem5; LLVM; Uppaal; …
Main Fields: Computer science (68-XX)

ArchSAT

Software Authors:   Guillaume Bury
Referenced in: 1 Publication (2020)
Related Software: Zenon; TPTP; dedukti; Zipperposition; E Theorem Prover; ekstrakto; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ARGO-LIB

Software Authors:   Marić, Filip; Janičić, Predrag
Referenced in: 2 Publications (2004)
Related Software: SMT-LIB; CVC
Main Fields: Computer science (68-XX)

3BA

Software Authors:   Horáček, Jan; Kreuzer, Martin
Referenced in: 2 Publications (2018)
Related Software: LELA; GBLA; antom; ApCoCoA; FGb; PolyBoRi; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

BtorMC

Software Authors:   Niemetz, A.; Preiner, M.; Wolf, C.; Biere, A.; Chockler, H.; Weissenbacher, G
Referenced in: 2 Publications (2021–2022)
Related Software: Boolector; Maude; SMT Kit; lazybv2int; metaSMT; Pono; …
Main Fields: Computer science (68-XX)