Google CP-SAT solver Rust bindings
☆30Jan 22, 2026Updated 2 months ago
Alternatives and similar repositories for cp_sat
Users that are interested in cp_sat are comparing it to the libraries listed below
Sorting:
- Rust bindings to the CoinOR CBC MILP Solveur using the C API.☆19Oct 25, 2023Updated 2 years ago
- Safe rust bindings to the Highs MILP Solver.☆30Dec 14, 2025Updated 3 months ago
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 2 months ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- Easily add address & port flags to CLIs using Clap☆15Dec 18, 2023Updated 2 years ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- Prints numbers with separators☆11Apr 29, 2021Updated 4 years ago
- A implementation of the modified akima interpolation in rust☆12Oct 28, 2020Updated 5 years ago
- Pure Rust CDB library☆17Apr 25, 2019Updated 6 years ago
- ☆10Aug 17, 2021Updated 4 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…☆13Updated this week
- Lp modeler written in Rust☆105Mar 1, 2021Updated 5 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- ☆15Mar 29, 2023Updated 2 years ago
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 3 years ago
- tokio_codec for Session Initiation Protocol (SIP)☆12Apr 14, 2019Updated 6 years ago
- practice rocket☆12Aug 13, 2020Updated 5 years ago
- ☆13Mar 3, 2026Updated 2 weeks ago
- Tools for debugging Factorio☆12Dec 12, 2025Updated 3 months ago
- ViPeR 32-bit Pipelined RISC-V CPU☆12Jun 30, 2025Updated 8 months ago
- Blazing Tabs is a browser extension that allows you to search and switch your tabs blazingly fast.☆13Mar 6, 2025Updated last year
- nodejs beanstalk console☆15Feb 10, 2026Updated last month
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- ☆15Sep 28, 2022Updated 3 years ago
- Interned string and more for rust☆10Dec 29, 2021Updated 4 years ago
- Unicode-aware Base64 encoding and decoding☆15May 2, 2022Updated 3 years ago
- A hand wired ortholinear mechanical keyboard with a firmware in pure Rust.☆33Jan 2, 2024Updated 2 years ago
- PureScript version management in PureScript.☆14Jan 27, 2023Updated 3 years ago
- Train small sequence models in your browser with WebGPU.☆33Dec 3, 2025Updated 3 months ago
- The Jieba Chinese Word Segmentation Implemented in PHP☆20Sep 3, 2024Updated last year
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- A notebook interface that makes working with AI agents easier.☆15Jul 12, 2025Updated 8 months ago
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 3 years ago
- Send and receive OSC data to and from bevy and other programs or controllers☆11Jul 28, 2024Updated last year
- Database useful for reverse searching touhou music☆15Dec 24, 2025Updated 2 months ago
- Agentic chat runtime where markdown is the protocol☆81Updated this week