KardinalAI / cp_sat
Google CP-SAT solver Rust bindings
☆19Updated 7 months ago
Alternatives and similar repositories for cp_sat:
Users that are interested in cp_sat are comparing it to the libraries listed below
- A pure Rust linear programming solver☆86Updated 4 years ago
- Calculate statistics iteratively☆38Updated 9 months ago
- A simple bitset container for Rust☆131Updated 3 months ago
- library implementing interaction with various linear programming solvers☆21Updated 11 months ago
- Rust library for applying Gaussian quadrature to integrate a function☆21Updated last week
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆50Updated 6 months ago
- Lp modeler written in Rust☆100Updated 4 years ago
- ☆28Updated 4 months ago
- Approximate floating point equality comparisons and assertions☆161Updated 10 months ago
- ☆76Updated 2 years ago
- Computer vision library built on top of ndarray☆67Updated 5 months ago
- ☆263Updated 2 weeks ago
- A better Arc / Rc [Still in research mode]☆19Updated 5 years ago
- Auto differentiation library☆68Updated last year
- Proc-macro typestate DSL for Rust☆143Updated last year
- A circular buffer with fixed capacity (Rust).☆104Updated last year
- A trivial Rust struct for interchange of pixel buffers with width, height & stride☆61Updated 4 months ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆32Updated last year
- Various optimization algorithms and strategies combined in a Rust library☆27Updated 4 years ago
- .npy and .npz file format support for ndarray☆59Updated 5 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆34Updated 2 months ago
- ☆23Updated 8 years ago
- A metaheuristic framework for solving combinatorial optimization problems☆34Updated last month
- Serialisable closures for Rust.☆64Updated 2 years ago
- Rust interface to nlopt☆12Updated 4 years ago
- A simple Rust macro to derive blanket implementations for your traits.☆23Updated last year
- A Rust crate for differential-geometric calculations.☆38Updated 5 years ago
- Find out about keys that are ignored when deserializing data☆79Updated this week
- Bounded MPMC channel abstraction on top of a ring buffer☆41Updated 6 months ago
- Probability-theory toolbox☆55Updated last year