Create a new solver interface and move all solver-specific transformations (e.g., SOS1 constraints) to it.
Notes:
All solvers could implement an interface with methods like supportsSos1(). This can be used to determine at runtime if a solver can not be used to solve a specific problem.
Create a new solver interface and move all solver-specific transformations (e.g., SOS1 constraints) to it.
Notes:
supportsSos1(). This can be used to determine at runtime if a solver can not be used to solve a specific problem.