Open maxkratz opened 3 years ago
The implementation of ilp/wrapper/IncrementalIlpSolver.java can potentially be removed due to the fact that emoflon has its own ILP solver interface (at least as I heard!).
The old eMoflon ILP solver interface should not be used for iflye. Instead, I suggest using the new project https://github.com/eMoflon/emoflon-ilp.
The implementation of ilp/wrapper/IncrementalIlpSolver.java can potentially be removed due to the fact that emoflon has its own ILP solver interface (at least as I heard!).