×

Found 19 Software Packages (Results 1–19)

z3

Software Authors:   Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Referenced in: 593 Publications (2001–2022)
Related Software: SMT-LIB; CVC4; Yices; Coq; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Yices

Software Authors:   B. Dutertre; L. de Moura
Referenced in: 149 Publications (1992–2022)
Related Software: z3; SMT-LIB; CVC4; MiniSat; cvc3; MathSAT5; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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; HySAT; SMT-LIB; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-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)

OptiMathSAT

Software Authors:   Sebastiani, R., Trentin, P.
Referenced in: 12 Publications (2016–2021)
Related Software: z3; vZ; SMT-LIB; GitHub; MathSAT5; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-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)

PASS

Software Authors:   Li, G., Ghosh, I.
Referenced in: 7 Publications (2015–2020)
Related Software: S3; Z3-str; HAMPI; Stranger; StrSolve; Gecode; …
Main Fields: Mathematical logic and foundations (03-XX); 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)

FrankenBit

Software Authors:   Gurfinkel, A., Belov, A.
Referenced in: 2 Publications (2017–2018)
Related Software: CBMC; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; Jakstab; …
Main Fields: 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)

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)

Concrete

Software Authors:   Julien Vion
Referenced in: 2 Publications (2018–2022)
Related Software: GitHub; STR2; Scala; MiniZinc
Main Fields: Computer science (68-XX)

Q3B

Software Authors:   Jonáš, M., Strejček, J
Referenced in: 2 Publications (2020–2021)
Related Software: HQSpre; antom; iProver; PicoSAT; CUDD; CVC4; …
Main Fields: Computer science (68-XX)

Smacc

Software Authors:   Biere, Armin; Knoop, Jens; Kov'acs, Laura; Zwirchmayr, Jakob
Referenced in: 1 Publication (2017)
Related Software: r-TuBound; STP; OTAWA; Stony Brook; KLEE; LLVM; …
Main Fields: Computer science (68-XX)

STABLE

Software Authors:   Pavlenko, E.; Wedler, M.; Stoffel, D.; Kunz, W.; et. al.
Referenced in: 2 Publications (2014–2018)
Related Software: SINGULAR; petBoss; ABC; BLUEVERI
Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

UppSAT

Software Authors:   Zeljić, Aleksandar; Backeman, Peter; Wintersteiger, Christoph M.; Rümmer, Philipp
Referenced in: 2 Publications (2018–2021)
Related Software: STP; OptiMathSAT; vZ; SYMBA; Boolector; SONOLAR; …
Main Fields: Computer science (68-XX)

Commet

Software Authors:   Maillet Nicolas, Collet Guillaume, Vanier Thomas, Lavenier Dominique, Pierre Peterlongo
Referenced in: 1 Publication (2020)
Related Software: Compareads; BWA; PBSIM; GATB; Bowtie 2; Starcode
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

lazybv2int

Software Authors:   Zohar, Y., Irfan, A., Mann, M., Nötzli, A., Reynolds, A., Barrett, C.
Referenced in: 1 Publication (2021)
Related Software: SMT Kit; BtorMC; metaSMT; Pono; SBV; Smt-Switch; …
Main Fields: Computer science (68-XX)

Verilog2SMV

Software Authors:   Irfan, A., Cimatti, A., Griggio, A., Roveri, M., Sebastiani, R.
Referenced in: 0 Publications
Related Software: googletest; Yosys; z3; Ivy; CoSA; SPIN; …
Main Fields: