eMoflon / emoflon-ilp

Eclipse plug-in for ILP solvers.

https://emoflon.org

eMoflon/emoflon-ilp Issues

Implement `oj! Algorithms` ILP solver (PS optional/future work)
Updated a year ago
Design: Index structures
Updated a year ago
Design: Modeling (ILP) problems using Java classes
Updated a year ago
Documentation: Installation, build, test, LICENSE, etc.
Updated a year ago
`min`/`max` constraints (PS optional)
Updated a year ago
SOS1 constraints
Updated a year ago
Quadratic constraints/objectives
Updated a year ago
Implement `>`, `<`, `!=` constraint type conversion
Updated a year ago1
Implement SAT solver `sat4j`
Updated a year ago
Implement boolean implication (PS optional)
Updated a year ago
Implement boolean equivalence (PS optional)
Updated a year ago
Implement boolean `OR` (PS optional)
Updated a year ago
CI: Create (tagged) GitHub releases (PS optional)
Updated a year ago
Implement ILP solver `Gurobi`
Updated a year ago
Project: Create the basic optimizer interface
Updated a year ago
CI: Basic CI config to run all tests
Updated a year ago
CI: Create a basic CI config to completely build the project
Updated a year ago
Implement ILP solver `GLPK`
Updated a year ago
Implement ILP solver `CPLEX`
Updated a year ago
Add various configuration parameters (e.g., timeout, random seed, tolerance, ...)
Updated a year ago