Make pgsolver an optional dependency
In the pgsolver
branch a dependency on pgsolver was added that causes issues when e.g. working in the CIP pools or on evaluation machines of conferences. It should therefore be made an optional dependency.
In the pgsolver
branch a dependency on pgsolver was added that causes issues when e.g. working in the CIP pools or on evaluation machines of conferences. It should therefore be made an optional dependency.