Dark-Alex-17/cp_sat

Guillaume Pinot e127181114 Add badges in README.md

2021-09-13 18:00:08 +02:00

LinearExpr documentation

2021-09-13 18:00:08 +02:00

Refactor for clean root module and documentation

2021-09-13 18:00:08 +02:00

.gitignore

Linear constraint support in the builder

2021-09-09 17:57:36 +02:00

build.rs

Change docs.rs workaround

2021-09-10 22:18:24 +02:00

Cargo.toml

Simplify LinearExpr

2021-09-13 18:00:08 +02:00

LICENSE

Initial commit

2021-09-07 19:45:23 +02:00

README.md

Add badges in README.md

2021-09-13 18:00:08 +02:00

README.md

Google CP-SAT solver Rust bindings

Rust bindings to the Google CP-SAT constraint programming solver.

To use this library, you need a C++ compiler and an installation of google or-tools library files.

The environment variable ORTOOLS_PREFIX is used to find include files and library files. If not setted, /opt/ortools will be added to the search path (classical search path will also be used).