KardinalAI / cp_sat
Google CP-SAT solver Rust bindings
☆19Updated 9 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
- Proc-macro typestate DSL for Rust☆148Updated last year
- Calculate statistics iteratively☆38Updated last month
- Approximate floating point equality comparisons and assertions☆164Updated last year
- .npy and .npz file format support for ndarray☆61Updated 7 months ago
- Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆52Updated 9 months ago
- A graph library for Rust.☆121Updated 4 years ago
- A simple bitset container for Rust☆136Updated this week
- Eventually consistent values for Rust☆125Updated 2 years ago
- Auto differentiation library☆69Updated this week
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆74Updated 8 months ago
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆53Updated 7 months ago
- Typed index version of Rust slice and Vec containers☆69Updated 6 months ago
- Vec-backed ID-tree☆57Updated last week
- ☆270Updated 2 months ago
- High-precision and consistent benchmarking framework/harness for Rust☆134Updated last week
- Rust implementation of the Simple(x) Global Optimization algorithm☆34Updated 2 years ago
- Rust library for applying Gaussian quadrature to integrate a function☆23Updated this week
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 3 weeks ago
- VF2 subgraph isomorphism algorithm in Rust.☆61Updated 2 months ago
- A circular buffer with fixed capacity (Rust).☆104Updated last year
- Rust trait for diffing and applying diffs between data structures☆60Updated 8 months ago
- Serialize/deserialize rusqlite rows☆90Updated this week
- Trait generalization of the fundamental types☆44Updated 10 months ago
- Lp modeler written in Rust☆102Updated 4 years ago
- Rust interface to nlopt☆12Updated 4 years ago
- An asynchronous, multi-producer, single-consumer (MPSC) bounded channel that operates at tachyonic speeds☆120Updated 7 months ago
- Interpolation made easy.☆166Updated 5 months ago
- k-dimensional tree☆84Updated last year
- Migrated to Codeberg☆80Updated last year