Skip to content

bc-ross/cp_sat

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

39 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

If you're using a recent version of or-tools, you'll also need libprotobuf (older versions used to link it statically). Invoke Cargo using RUSTFLAGS='-Clink-arg=-lprotobuf' cargo <command>.

The environment variable ORTOOLS_PREFIX is used to find include files and library files. If not set, the build script will automatically download an OR-Tools prebuilt binary for your system (if supported).

About

Google CP-SAT solver Rust bindings

Resources

License

Stars

Watchers

Forks

Packages

 
 
 

Contributors

Languages

  • Rust 94.2%
  • C++ 5.8%