KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆27Updated 3 months ago
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☆91Updated 5 years ago
- Lp modeler written in Rust☆105Updated 4 years ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆87Updated last month
- Computational Geometry library written in Rust☆167Updated this week
- Auto differentiation library☆73Updated 7 months ago
- K-dimensional tree in Rust for fast geospatial indexing and lookup☆264Updated last month
- .npy and .npz file format support for ndarray☆67Updated last week
- Approximate floating point equality comparisons and assertions☆175Updated last year
- Rust interface to nlopt☆12Updated 5 years ago
- ☆312Updated 2 months ago
- Kiddo☆142Updated last week
- Delaunay Triangulations for the Rust Ecosystem☆314Updated 4 months ago
- Statistical routines for ndarray☆215Updated last month
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆56Updated last year
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Rust library for applying Gaussian quadrature to integrate a function☆24Updated last month
- Set of mathematical traits to facilitate the use of SIMD-based AoSoA (Array of Struct of Array) storage pattern.☆329Updated 2 months ago
- Calculate statistics iteratively☆41Updated 3 months ago
- 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
- Proc-macro typestate DSL for Rust☆152Updated 2 years ago
- A Rust Library for Numerical Equation Solving, Optimisation, and Integration☆31Updated this week
- A graph crate with simplicity in mind☆89Updated 2 years ago
- A library for least squares fitting of separable, nonlinear models to data.☆82Updated last month
- k-dimensional tree☆86Updated last month
- Interpolation made easy.☆168Updated last year
- A Rust implementation of Gaussian Process regression.☆57Updated last year
- Abstract over the atomicity of reference-counting pointers in rust☆168Updated last month
- Tensor library for machine learning☆26Updated 2 weeks ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 7 months ago