C++ Reference

C++ Reference: CP-SAT

File List
Here is a list of all files with brief descriptions:
 cp_model.hThis file implements a wrapper around the CP-SAT model proto
 cp_model_solver.h
 model.h
 sorted_interval_list.h
 time_limit.h