KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆25Updated 2 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 4 years ago
 - Rust library for applying Gaussian quadrature to integrate a function☆24Updated last month
 - Auto differentiation library☆71Updated 6 months ago
 - Lp modeler written in Rust☆104Updated 4 years ago
 - Approximate floating point equality comparisons and assertions☆172Updated last year
 - .npy and .npz file format support for ndarray☆65Updated last year
 - Graph data structure library aspiring to be convenient, versatile, correct and performant.☆83Updated 2 months ago
 - Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
 - Kiddo☆135Updated last week
 - Provides an interface layer to convert between n-dimensional types in different Rust crates☆55Updated last year
 - Execute genetic algorithm (GA) simulations in a customizable and extensible way.☆186Updated last year
 - Rank Polymorphic array library for Rust.☆103Updated 2 years ago
 - Rust interface to nlopt☆12Updated 5 years ago
 - ☆33Updated 5 months ago
 - A Rust implementation of the CMA-ES optimization algorithm.☆36Updated 5 months ago
 - A Rust implementation of Gaussian Process regression.☆56Updated last year
 - Tensor library for machine learning☆26Updated 2 weeks ago
 - Arbitrary precision floating point numbers library☆113Updated 7 months ago
 - K-dimensional tree in Rust for fast geospatial indexing and lookup☆261Updated 11 months ago
 - A library for least squares fitting of separable, nonlinear models to data.☆70Updated last week
 - Proc-macro typestate DSL for Rust☆151Updated 2 years ago
 - VF2 subgraph isomorphism algorithm in Rust.☆67Updated 8 months ago
 - Calculate statistics iteratively☆40Updated last month
 - Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…☆56Updated last year
 - Framework and implementation for mathematical optimization and solving non-linear systems of equations.☆50Updated 2 months ago
 - Simple and flexible multi-index containers.☆124Updated 5 months ago
 - ☆304Updated last month
 - An SoA library for Rust☆155Updated 8 months ago
 - Easy code duplicate with substitution for Rust☆249Updated 2 months ago
 - General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.☆239Updated 5 months ago