Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

TPhoenixyz/cp_sat

Folders and files

NameName
Last commit message
Last commit date

Latest commit

History

30 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.

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).

About

Google CP-SAT solver Rust bindings

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 95.0%
  • C++ 5.0%

AltStyle によって変換されたページ (->オリジナル) /