KardinalAI / cp_sat
Google CP-SAT solver Rust bindings
☆19Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for cp_sat
- Approximate floating point equality comparisons and assertions☆154Updated 7 months ago
- A pure Rust linear programming solver☆83Updated 4 years ago
- Auto differentiation library☆62Updated last year
- Calculate statistics iteratively☆38Updated 6 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆33Updated 2 years ago
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆49Updated 2 months ago
- Rank Polymorphic array library for Rust.☆103Updated last year
- Rust implementation of the Simple(x) Global Optimization algorithm☆31Updated last year
- Rust library for applying Gaussian quadrature to integrate a function☆16Updated this week
- Proc-macro typestate DSL for Rust☆142Updated last year
- Interpolation made easy.☆163Updated 3 weeks ago
- derive newtype for diesel traits☆49Updated 7 months ago
- Abstract over the atomicity of reference-counting pointers in rust☆141Updated last week
- Safe wrapper for initializing arrays☆72Updated last year
- Rust interface to nlopt☆12Updated 4 years ago
- Eventually consistent values for Rust☆122Updated 2 years ago
- Lp modeler written in Rust☆95Updated 3 years ago
- An SoA library for Rust☆122Updated 3 months ago
- A circular buffer with fixed capacity (Rust).☆102Updated 10 months ago
- ☆230Updated 2 weeks ago
- .npy and .npz file format support for ndarray☆56Updated 2 months ago
- A Rust Library for Numerical Equation Solving and Optimisation☆23Updated 3 months ago
- A simple bitset container for Rust☆126Updated this week
- Kalman filter implementation in Rust☆63Updated last month
- Arbitrary precision floating point numbers library☆101Updated 8 months ago
- VF2 subgraph isomorphism algorithm in Rust.☆57Updated 2 months ago
- An undo-redo library.☆50Updated last year
- Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆51Updated 4 months ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆73Updated 2 months ago
- ☆47Updated 3 years ago