KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆26Updated 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
- Approximate floating point equality comparisons and assertions☆173Updated last year
- Auto differentiation library☆71Updated 7 months ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆84Updated last week
- Rust library for applying Gaussian quadrature to integrate a function☆24Updated 2 weeks ago
- Statistical routines for ndarray☆215Updated 3 weeks ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Computational Geometry library written in Rust☆165Updated this week
- ☆34Updated 6 months ago
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆56Updated last year
- A Rust implementation of Gaussian Process regression.☆57Updated last year
- Kiddo☆140Updated this week
- Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆56Updated last year
- Rust interface to nlopt☆12Updated 5 years ago
- K-dimensional tree in Rust for fast geospatial indexing and lookup☆262Updated 2 weeks ago
- Delaunay Triangulations for the Rust Ecosystem☆312Updated 3 months ago
- .npy and .npz file format support for ndarray☆67Updated last week
- ☆309Updated 2 months ago
- k-dimensional tree☆86Updated 2 weeks ago
- A nice and fast way to construct 2D Voronoi Diagrams☆44Updated 2 years ago
- Execute genetic algorithm (GA) simulations in a customizable and extensible way.☆186Updated last year
- Arbitrary precision floating point numbers library☆113Updated 8 months ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Parallel processing with disjoint indices in Rust☆90Updated 7 months ago
- Framework and implementation for mathematical optimization and solving non-linear systems of equations.☆51Updated 3 months ago
- A simple bitset container for Rust☆157Updated 5 months ago
- Rank Polymorphic array library for Rust.☆103Updated 2 years ago
- Interpolation made easy.☆168Updated last year
- VF2 subgraph isomorphism algorithm in Rust.☆67Updated 9 months ago