Google CP-SAT solver Rust bindings
☆30Jan 22, 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
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 2 months ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- Electroplating simulation environment☆20Sep 26, 2024Updated last year
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆425Feb 19, 2026Updated last week
- ☆11Jun 13, 2023Updated 2 years ago
- A cross-platform Factorio benchmarking tool☆22Feb 18, 2026Updated last week
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- Basic Python libraries used by UGent's HPC group☆15Updated this week
- Tools for debugging Factorio☆12Dec 12, 2025Updated 2 months ago
- A collection of logic circuits I've built in VCB☆10Aug 5, 2022Updated 3 years ago
- ☆13Jul 26, 2021Updated 4 years ago
- The codebase contains the implementation for the paper "An asset subset-constrained minimax optimization framework for online portfolio s…☆11Dec 3, 2024Updated last year
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- My aider prompt for 'Precision prompting' approach.☆12May 2, 2025Updated 10 months ago
- ☆11Aug 10, 2022Updated 3 years ago
- Document intricacies of using WinDBG to aid Rust project development☆17Nov 19, 2024Updated last year
- ☆18Jun 25, 2025Updated 8 months ago
- Source code for my 3D Space Shooter Tutorial☆17Feb 2, 2026Updated last month
- ☆13Feb 23, 2026Updated last week
- 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
- GLPK, but it's Python.☆14Sep 3, 2024Updated last year
- Learned Spatial Indexes☆10Jan 6, 2025Updated last year
- Example code for using SPARQL and 4store RDF databases from Common Lisp (in this case Steel Bank Common Lisp, but most others should work…☆14Apr 23, 2011Updated 14 years ago
- Run commands concurrently with rust and cargo☆10Jan 20, 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…☆13Nov 6, 2025Updated 3 months ago
- This repository contains an attempt at using Graph Attention based Reinforcement Learning for graphical state space. The code also provid…☆10Jun 27, 2021Updated 4 years ago
- CLP Linear Programming solver ported to WebAssembly☆12Feb 10, 2021Updated 5 years ago
- Flash cards chrome extensions☆13Jul 12, 2022Updated 3 years ago
- CLOG Plugin for Plotly.js☆12Oct 10, 2024Updated last year
- This repository contains the files for running the Patchify GUI.☆11Nov 5, 2021Updated 4 years ago
- ☆11Mar 29, 2024Updated last year
- CSS2 and CSS3 parser written in Haxe (for cross-platform compatibility)☆13Aug 2, 2017Updated 8 years ago
- ViPeR 32-bit Pipelined RISC-V CPU☆12Jun 30, 2025Updated 8 months ago
- Interned string and more for rust☆10Dec 29, 2021Updated 4 years ago
- Misc game-related tweaks and tools that I tend to write☆10Mar 19, 2023Updated 2 years ago
- Unity Pure ECSのサンプルゲーム。☆11May 28, 2020Updated 5 years ago