cp_sat
| Crates.io | cp_sat |
| lib.rs | cp_sat |
| version | 0.3.3 |
| created_at | 2021-09-07 18:14:23.710098+00 |
| updated_at | 2021-09-29 16:23:12.845097+00 |
| description | Rust bindings to the Google CP-SAT constraint programming solver. |
| homepage | |
| repository | https://github.com/KardinalAI/cp_sat |
| max_upload_size | |
| id | 448168 |
| size | 146,661 |
Guillaume P. (TeXitoi)
documentation
https://docs.rs/cp_sat
README
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).