ILP generation and execution

wolfe-pack / wolfe

Wolfe Language and Engine

https://wolfe-pack.github.io/wolfe

Apache License 2.0

135 stars 17 forks source link

ILP generation and execution #1

Closed riedelcastro closed 10 years ago

jnoessner commented 10 years ago

CNF convertion prototype is finally finished (optimizations possible! e.g. normalize on first-order-level). I will leave it in the ILP branch. If someone needs it, let me know.

jnoessner commented 10 years ago

ILP Interface created. Solver Gurobi is integrated.