Laurent Perron fec0768323 use Pseudo-cost in parallel search; change automata to automaton in cp_model.proto

2019-02-01 18:32:13 +01:00

..

Constraints.cs

update license headers

2018-11-10 18:00:53 +01:00

CpModel.cs

use Pseudo-cost in parallel search; change automata to automaton in cp_model.proto

2019-02-01 18:32:13 +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

update license headers

2018-11-10 18:00:53 +01:00

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