KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆20Updated 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☆85Updated 4 years ago
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆55Updated 9 months ago
- Auto differentiation library☆69Updated 2 months ago
- Exposes arch-specific intrinsics as safe function (via cfg).☆55Updated 4 months ago
- .npy and .npz file format support for ndarray☆63Updated 9 months ago
- Rust interface to nlopt☆12Updated 4 years ago
- Approximate floating point equality comparisons and assertions☆168Updated last year
- ☆31Updated 3 months ago
- Lp modeler written in Rust☆102Updated 4 years ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆75Updated 10 months ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Calculate statistics iteratively☆39Updated 3 months ago
- Simplistic API for deep learning tensor operations☆30Updated last month
- Rust trait for diffing and applying diffs between data structures☆60Updated 10 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated last month
- ordinary least squared linear regression with some basic statistics☆23Updated 4 months ago
- Rust library for applying Gaussian quadrature to integrate a function☆23Updated 2 weeks ago
- Kernel density estimation in Rust.☆27Updated last year
- Rank Polymorphic array library for Rust.☆102Updated last year
- VF2 subgraph isomorphism algorithm in Rust.☆64Updated 3 months ago
- ☆62Updated 2 months ago
- High-precision and consistent benchmarking framework/harness for Rust☆148Updated this week
- Arbitrary precision floating point numbers library☆110Updated 3 months ago
- Framework and implementation for mathematical optimization and solving non-linear systems of equations.☆50Updated last year
- ☆35Updated 5 months ago
- Machine learning library providing matrices, named tensors, linear algebra and autodiff aimed at being easy to use☆25Updated this week
- A neural network, and tensor dynamic automatic differentiation implementation for Rust.☆24Updated 6 months ago
- A regex crate using Brzozowski derivatives.☆26Updated 2 months ago
- An undo-redo library.☆54Updated 3 months ago
- A simple, id-based arena☆120Updated last year