Constraint programming in Rust
☆113Nov 22, 2023Updated 2 years ago
Alternatives and similar repositories for pcp
Users that are interested in pcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for backtracking with customizable search for moves☆22Dec 16, 2025Updated 10 months ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- A constraint solver purely on GPUs (CUDA)☆57Oct 19, 2026Updated 2 weeks ago
- OCaml syntax extension dedicated to the programming of reactive systems on the Web.☆53Sep 10, 2018Updated 8 years ago
- A Rust implementation of the Cassowary constraint solving algorithm☆357Oct 24, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A typed parser generator embedded in Rust code for Parsing Expression Grammars☆146Feb 25, 2025Updated last year
- Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU☆32Sep 6, 2026Updated last month
- A 2d geometry library for ocaml☆36Dec 23, 2022Updated 3 years ago
- numerical computations library☆13May 8, 2016Updated 10 years ago
- Learning and optimization algorithms compatible with EngiBench☆19Oct 1, 2026Updated last month
- SAT solver written in Rust☆291Nov 2, 2022Updated 4 years ago
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆13Dec 2, 2021Updated 4 years ago
- An experiment with Rust and Emscripten.☆20Jul 27, 2014Updated 12 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.
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆116Oct 24, 2026Updated last week
- Rust wrapper for Duktape, a lightweight, embedded JavaScript interpreter.☆35Sep 24, 2016Updated 10 years ago
- Implements a Rust ordered map as a BurstTrie.☆29May 26, 2017Updated 9 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆93Oct 5, 2026Updated 3 weeks ago
- A pure Rust linear programming solver☆93Nov 11, 2020Updated 5 years ago
- Safe bindings to LLVM in Rust☆11Dec 15, 2019Updated 6 years ago
- Find the Rust nightly that that changed some behavior☆18Mar 20, 2016Updated 10 years ago
- Integer interval arithmetic library☆20May 15, 2025Updated last year
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆17Oct 23, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Monadic Constraint Programming framework☆28May 9, 2018Updated 8 years ago
- A contiguous region of bytes, useful for I/O operations.☆33Jul 15, 2020Updated 6 years ago
- ☆10Aug 18, 2025Updated last year
- The Chuffed CP solver☆130Jul 31, 2026Updated 3 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Minimal Rust wrapper for using sockets as IPC with file descriptor passing | now on https://codeberg.org/valpackett/tiny-nix-ipc☆15Oct 1, 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…☆466Sep 3, 2026Updated last month
- Optimal univariate k-means clustering using dynamic programming☆12Oct 24, 2026Updated last week
- a self-hosted internet of things toolkit☆11Nov 10, 2015Updated 10 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.
- The CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- Tiny RPC framework for Rust☆33Sep 16, 2015Updated 11 years ago
- ☆23Nov 7, 2016Updated 9 years ago
- Logical programming in JavaScript☆15May 31, 2016Updated 10 years ago
- A solver based on local search☆15Jun 6, 2026Updated 4 months ago
- Simple scripting language interpreter☆24May 28, 2021Updated 5 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 5 months ago