×

Found 4 Software Packages (Results 1–4)

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)

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)

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)