fgrsnau / dd_ilp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pawelswoboda/dd_ilp
Construct integer linear problems pragmatically from dual decomposition based formulations. Solve them with various backends, like ILP solvers or SAT-based ones.
License: BSD 2-Clause "Simplified" License