×

Found 2 Software Packages (Results 1–2)

SATzilla

Software Authors:   Xu, L.; Hutter, F.; Hoos, H.H.; Leyton-Brown, K.
Cited in: 88 Publications (2008–2022)
Related Software: Paramils; MiniSat; SMAC; irace; MiniZinc; SUNNY; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

MachSMT

Software Authors:   Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay
Cited in: 2 Publications (2021–2022)
Related Software: MedleySolver; FaCT++; ileanCoP; leanCoP; TPTP; Matlab; …
Main Fields: Computer science (68-XX)