Laurent Perron 916e3136ec add new error type in status/canonical_errors; savings improvement in the routing library; scip_interface rewrite; first steps in CP-SAT cuts management

2019-01-02 16:35:40 +01:00

..

Constraints.cs

…

CpModel.cs

add new error type in status/canonical_errors; savings improvement in the routing library; scip_interface rewrite; first steps in CP-SAT cuts management

2019-01-02 16:35:40 +01:00

CpSolver.cs

move ObjectiveSolutionPrinter to new SearchHelpers.cs CP-SAT C# code

2018-12-28 18:17:41 +01:00

IntegerExpressions.cs

fix C# Dotnet warning

2018-12-09 09:17:57 +01:00

IntervalVariables.cs

…

sat.i

revamp and simplify swig support, force typed enums for C# and Java for all except the constraint_solver/routing module; port examples; Fix SAT on very large problems

2018-12-11 17:03:03 +01:00

SearchHelpers.cs

move ObjectiveSolutionPrinter to new SearchHelpers.cs CP-SAT C# code

2018-12-28 18:17:41 +01:00