57 lines
477 B
Plaintext
57 lines
477 B
Plaintext
Prolog
|
|
MiniZinc
|
|
equisatisfiable
|
|
Gurobi
|
|
Kleene
|
|
Booleanization
|
|
MiniSearch
|
|
MicroZinc
|
|
OpenWBO
|
|
unsatisfiable
|
|
undefinedness
|
|
Choco
|
|
DPLL
|
|
MiniSAT
|
|
Kissat
|
|
AMPL
|
|
subtours
|
|
Zemlin
|
|
makespan
|
|
simpagation
|
|
memoization
|
|
FlatZinc
|
|
Gecode
|
|
CPLEX
|
|
antitone
|
|
QCP-max
|
|
Booleanized
|
|
unsatisfiability
|
|
Jip
|
|
Uppsala
|
|
Radboud
|
|
NanoZinc
|
|
Ackermann
|
|
nullary
|
|
GBAC
|
|
RCPSP
|
|
Reifications
|
|
SCIP
|
|
QCP-Max
|
|
SICStus
|
|
Lille
|
|
CSIRO
|
|
Senthoo
|
|
Henk
|
|
Gleb
|
|
Flener
|
|
Jean-Noël
|
|
Linnea
|
|
Natalja
|
|
Guus
|
|
Kyron
|
|
Stuckey
|
|
Schutt
|
|
Banda
|
|
Gange
|
|
Half-Reifications
|