Automatic synthesis of constraints from examples using mixed integer linear programming (AutoSynthMILP)
This is source code of the algorithm described in the paper:
Tomasz P. Pawlak, Krzysztof Krawiec, Automatic synthesis of constraints from examples using mixed integer linear programming, European Journal of Operational Research 261(3):1141–1157, Elsevier, 2017, doi:10.1016/j.ejor.2017.02.034.
- mono:6.12 or .NET Framework 4.0.
- Gurobi Optimizer v11+ license.