Currently only a subset of CP-SAT is supported. Pull requests providing the missing features are welcome, but please pay attention to documentation and tests. This project provides two packages: ...