Dark-Alex-17/cp_sat
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
35 Commits 1 Branch 0 Tags
master
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
hamilcarBarca17 617dfb2bd3
Some checks are pending
Rust / build (push) Waiting to run
Details
Fixed a typo in the README
2023-03-16 11:35:55 -06:00
.github/workflows
Add fmt to CI
2021-09-14 11:30:24 +02:00
src
Reverted mistaken missed functionality
2023-03-15 13:40:20 -06:00
tests
Cleaned up some of the docs and added the new functions int_var_domain, set_int_var_domain, add_leq, and require now that all variables be given names
2023-03-10 13:43:38 -07:00
.gitignore
Linear constraint support in the builder
2021-09-09 17:57:36 +02:00
build.rs
Reverted dynamic library type
2023-03-15 13:55:51 -06:00
Cargo.toml
Bind ValidateCpModel and SolutionIsFeasible from cp_model_checker.h
2021-09-29 18:22:37 +02:00
LICENSE
Initial commit
2021-09-07 19:45:23 +02:00
README.md
Fixed a typo in the README
2023-03-16 11:35:55 -06: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 set, /opt/ortools will be added to the search path (classical search path will also be used).

Reference in New Issue View Git Blame Copy Permalink
Description
Google CP-SAT solver Rust bindings
Readme 96 KiB
Languages
Rust 94.5%
C++ 5.5%