KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆23Updated 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:
- A pure Rust linear programming solver☆90Updated 4 years ago
- Approximate floating point equality comparisons and assertions☆172Updated last year
- Rust interface to nlopt☆12Updated 5 years ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆79Updated last month
- Lp modeler written in Rust☆103Updated 4 years ago
- Calculate statistics iteratively☆40Updated 3 weeks ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Statistical routines for ndarray☆213Updated last year
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆55Updated last year
- .npy and .npz file format support for ndarray☆63Updated last year
- ☆299Updated last week
- Rust library for applying Gaussian quadrature to integrate a function☆23Updated last week
- Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆56Updated last year
- Rank Polymorphic array library for Rust.☆103Updated 2 years ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 4 months ago
- VF2 subgraph isomorphism algorithm in Rust.☆65Updated 7 months ago
- Auto differentiation library☆70Updated 5 months ago
- Kiddo☆133Updated this week
- Two dimensional grid data structure☆91Updated 2 weeks ago
- K-dimensional tree in Rust for fast geospatial indexing and lookup☆260Updated 10 months ago
- A circular buffer with fixed capacity (Rust).☆105Updated last year
- Probability-theory toolbox☆56Updated last year
- Type conversion among popular Rust computer vision libraries☆52Updated 4 months ago