Google CP-SAT solver Rust bindings
☆32Apr 1, 2026Updated last month
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.☆19Oct 25, 2023Updated 2 years ago
- Safe rust bindings to the Highs MILP Solver.☆32May 2, 2026Updated 2 weeks ago
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 4 months ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A BluePill (STM32F103) based Dactyl-Manuform build with keyberon powered firmware written in Rust☆14Jun 16, 2022Updated 3 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- Prints numbers with separators☆12Apr 29, 2021Updated 5 years ago
- ☆10Aug 17, 2021Updated 4 years ago
- Simple sample to use WPF-UI package with Revit API.☆13Jul 23, 2024Updated last year
- Flamegraphing tool for perf events☆40Mar 4, 2021Updated 5 years ago
- Layer 4 Single Packet Authentication utilizing Netfilter Queue and libnetfilter.☆12Oct 12, 2024Updated last year
- 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 2 months ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆437Apr 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lp modeler written in Rust☆106Mar 1, 2021Updated 5 years ago
- Special functions for Rust by binding to the Cephes library.☆16Jul 26, 2024Updated last year
- C# library to convert AutoCAD drawings from DWG to SVG. AutoCAD files are read using ACadSharp.☆28Nov 26, 2025Updated 5 months ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 4 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆11Apr 27, 2022Updated 4 years ago
- tokio_codec for Session Initiation Protocol (SIP)☆12Apr 14, 2019Updated 7 years ago
- practice rocket☆12Aug 13, 2020Updated 5 years ago
- Library for manipulating context-free grammars in Rust.☆30Apr 10, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Apr 6, 2026Updated last month
- some logs on the tide☆15Feb 3, 2025Updated last year
- ☆11Nov 12, 2018Updated 7 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- Possibly useful tools for working with PDFs that don't fit into the pdf crate.☆12Nov 24, 2025Updated 5 months ago
- Unicode-aware Base64 encoding and decoding☆15May 6, 2026Updated 2 weeks ago
- A hand wired ortholinear mechanical keyboard with a firmware in pure Rust.☆33Jan 2, 2024Updated 2 years ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 3 years ago
- Train small sequence models in your browser with WebGPU.☆34Dec 3, 2025Updated 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Towards 3D building modeling and simulation☆27Feb 5, 2026Updated 3 months ago
- The Jieba Chinese Word Segmentation Implemented in PHP☆20Sep 3, 2024Updated last year
- A set of useful cryptographic utilities for blockchain development.☆12Sep 15, 2022Updated 3 years ago
- A notebook interface that makes working with AI agents easier.☆15Jul 12, 2025Updated 10 months ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 4 years ago
- Send and receive OSC data to and from bevy and other programs or controllers☆11Jul 28, 2024Updated last year