Index

Symbols

--cp_model_stats --cp_no_solve --cp_print_model --cp_show_constraints

--help, [1] --helpmatch=S --helpon=FILE --helpshort

A

AddConstraint()

Assignment, [1]

B

best success principle

C

clause complexity theory constraint AllDifferent Constraint Optimization Problem

Constraint Satisfaction Problem cpviz cryptarithmetic puzzles cycle

D

DebugString() DecisionBuilder DEFINE_bool DEFINE_double DEFINE_int32 DEFINE_int64

DEFINE_string DEFINE_uint64 DLOG DLOG_IF domain

E

efficient reduction empty route

EndSearch() ERROR

F

factory method FATAL

feasible solution first fail principle

G

gflags log levels log prefix parameters read from a file replacement (routing.SetCommandLineOption()) shortcuts types Golomb ruler

Golomb Ruler Problem graph cycle empty route partial route path route simple cycle simple path

I

INFO instance of a problem IntExpr

intractable problems IntVar

L

LG LOG(ERROR) LOG(FATAL)

LOG(INFO) LOG(WARNING) LOG_IF

M

MakeAllDifferent() MakeAllSolutionCollector() MakeBestValueSolutionCollector() MakeDifference() MakeEquality() MakeFirstSolutionCollector() MakeIntConst() MakeIntVar() MakeIntVarArray() MakeLastSolutionCollector()

MakeLessOrEqual() MakeMinimize MakeNonEquality() MakePhase() MakeProd() MakeScalProd() MakeSum() MakeTimeLimit() mathematical problem

N

n-queens problem namespace operations_research NewSearch() NextSolution()

NP NP-Complete NP-Hard

O

objective function objective functions, [1]

objective solution OptimizeVar

P

P ParseCommandLineFlags() partial route

path Problem Cryptarithmetic puzzles Golomb Ruler puzzles cryptarithmetic

R

real problem

route

S

SearchLimit in Local Search specialized for time SearchMonitor as SolutionCollector as Solver's parameters callbacks SetCommandLineOption() simple cycle simple path solution

SolutionCollector AllSolutionCollector BestValueSolutionCollector FirstSolutionCollector LastSolutionCollector Solve() Solver creation parameters, [1] SolverParameters SolverParameters() StringPrintf()

T

time wall_time()

V

variable variables IntVar

VLOG

W

wall_time() time

WARNING