Google CP-SAT solver Rust bindings
☆33Jul 8, 2026Updated 3 months ago
Alternatives and similar repositories for cp_sat
Users that are interested in cp_sat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust bindings to the CoinOR CBC MILP Solveur using the C API.☆19Aug 6, 2026Updated 2 months ago
- Safe rust bindings to the Highs MILP Solver.☆43Sep 19, 2026Updated last month
- library implementing interaction with various linear programming solvers☆27Jan 9, 2026Updated 9 months ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆464Sep 3, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Easily add address & port flags to CLIs using Clap☆16Dec 18, 2023Updated 2 years ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- ☆15Apr 20, 2026Updated 6 months ago
- The core repository of the elsciRL framework.☆18Dec 8, 2025Updated 10 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 5 years ago
- A lightweight MLIR Python frontend with support for PyTorch☆28Sep 3, 2024Updated 2 years ago
- Rust bindings for sofia-sip☆12Aug 14, 2021Updated 5 years ago
- 3D simulation for a flock of boids in Rust☆29Sep 12, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Add a REPL to your application with a few macros☆18Jul 28, 2025Updated last year
- ☆12Sep 19, 2026Updated last month
- Guitar LV2 host app for Android with X11 GUI support + experimental Windows VST plugin support☆32Oct 1, 2026Updated 3 weeks ago
- ☆13Nov 8, 2024Updated last year
- Lp modeler written in Rust☆108Mar 1, 2021Updated 5 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 8 years ago
- tokio_codec for Session Initiation Protocol (SIP)☆12Apr 14, 2019Updated 7 years ago
- MXFP4-compatible 4-bit floating point types and block formats for Rust.☆12Mar 4, 2026Updated 7 months ago
- some logs on the tide☆15Feb 3, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- PowerRazzle - a PowerShell-based environment for Command-Line junkies☆10Oct 1, 2018Updated 8 years ago
- Send and receive OSC data to and from bevy and other programs or controllers☆11Jul 28, 2024Updated 2 years ago
- Purescript bindings to `ioredis` client library☆11Apr 2, 2026Updated 6 months ago
- Interned string and more for rust☆10Dec 29, 2021Updated 4 years ago
- ☆11Jan 23, 2023Updated 3 years ago
- Workaround for "key must be a string" error with serde_json. De/serialize any HashMap<K,V>, Vec<(K,V)>, Iter<(&K,&V)>, or Iter<&(K,V)> as…☆14Mar 18, 2026Updated 7 months ago
- 能够远程办公（work from home）的公司名单☆16Mar 2, 2022Updated 4 years ago
- ☆13Sep 30, 2026Updated last month
- 🐣 Incubate your TypeScript declarations☆13May 27, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- ☆12Sep 9, 2024Updated 2 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago
- Freenet development standard library☆20Oct 9, 2026Updated 3 weeks ago
- ☕ + 🦀 = ❤️🔥 Java JNI Bindings Generator. Easy interop between Java and Rust.☆10Aug 15, 2024Updated 2 years ago
- Build fully isomorphic apps and APIs in PureScript by providing value level spec and renderers.☆13Aug 6, 2022Updated 4 years ago
- ☆15Sep 28, 2022Updated 4 years ago