Exchangeable ILPSolver, NACs for Axioms

eMoflon / emoflon-ibex-democles

Incremental unidirectional and bidirectional graph transformations with the Democles pattern matching engine

GNU General Public License v3.0

1 stars 2 forks source link

Closed RobinOppermann closed 6 years ago

RobinOppermann commented 6 years ago

Adds a common interface to use different wrappers
Implements wrapper to use Gurobi and SAT4J
Add option to Ibex options to select wrapper, make SAT4J default as it comes with eclipse and no other installations are required
Fix check method that checks if patterns are empty -> now also checks pattern invocations and local Nodes
Add new black pattern for Axiom NACs -> If found, Axiom is no applicable