Google OR-Tools 7.7
DotNet Reference
CP-SAT
Graph
Knapsack solver
Linear solver
Routing
Util
DotNet Reference
Namespaces
Classes
Files
ortools
sat
samples
samples Directory Reference
Files
file
AssignmentSat.cs
[code]
file
BinPackingProblemSat.cs
[code]
file
BoolOrSampleSat.cs
[code]
file
ChannelingSampleSat.cs
[code]
file
CpIsFunSat.cs
[code]
file
EarlinessTardinessCostSampleSat.cs
[code]
file
IntervalSampleSat.cs
[code]
file
LiteralSampleSat.cs
[code]
file
NoOverlapSampleSat.cs
[code]
file
OptionalIntervalSampleSat.cs
[code]
file
RabbitsAndPheasantsSat.cs
[code]
file
RankingSampleSat.cs
[code]
file
ReifiedSampleSat.cs
[code]
file
SearchForAllSolutionsSampleSat.cs
[code]
file
SimpleSatProgram.cs
[code]
file
SolutionHintingSampleSat.cs
[code]
file
SolveAndPrintIntermediateSolutionsSampleSat.cs
[code]
file
SolveWithTimeLimitSampleSat.cs
[code]
file
StepFunctionSampleSat.cs
[code]
file
StopAfterNSolutionsSampleSat.cs
[code]