Found 2 Software Packages (Results 1–2)


Software Authors:   Chu, G., Stuckey, P.J., Schutt, A., Ehlers, T., Gange, G., Francis, K.
Cited in: 20 Publications (2016–2022)
Related Software: MiniZinc; CPLEX; Gecode; OR-tools; GitHub; Chaff; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)


Software Authors:   Duck, Gregory J.
Cited in: 2 Publications (2012–2018)
Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator
Main Fields: Computer science (68-XX)