C++ Reference

C++ Reference: CP-SAT

File List
Here is a list of all files with brief descriptions:
[detail level 123]
  ortools
  sat
 cp_model.hThis file implements a wrapper around the CP-SAT model proto
 cp_model_solver.h
 model.h
  util
 sorted_interval_list.h
 time_limit.h