KardinalAI / cp_satLinks
Google CP-SAT solver Rust bindings
☆19Updated 3 weeks ago
Alternatives and similar repositories for cp_sat
Users that are interested in cp_sat are comparing it to the libraries listed below
Sorting:
- Safe rust bindings to the Highs MILP Solver.☆24Updated 3 months ago
- A pure Rust linear programming solver☆85Updated 4 years ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Rust interface to nlopt☆12Updated 4 years ago
- Tensor library for machine learning☆27Updated 2 weeks ago
- Auto differentiation library☆69Updated last month
- library implementing interaction with various linear programming solvers☆21Updated last year
- A serde serializer that serializes a subset of types into plain strings☆59Updated last year
- Calculate statistics iteratively☆38Updated 2 months ago
- .npy and .npz file format support for ndarray☆63Updated 8 months ago
- Rank Polymorphic array library for Rust.☆102Updated last year
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 2 weeks ago
- Typed index version of Rust slice and Vec containers☆69Updated last month
- structured parallel execution for async Rust☆33Updated 9 months ago
- ordinary least squared linear regression with some basic statistics☆23Updated 3 months ago
- Approximate floating point equality comparisons and assertions☆168Updated last year
- VF2 subgraph isomorphism algorithm in Rust.☆64Updated 3 months ago
- Trait generalization of the fundamental types☆44Updated last year
- Provides an interface layer to convert between n-dimensional types in different Rust crates☆54Updated 9 months ago
- A Rust implementation of Gaussian Process regression.☆56Updated last year
- Rust library for applying Gaussian quadrature to integrate a function☆23Updated 2 weeks ago
- Eventually consistent values for Rust☆125Updated 2 years ago
- Flat spatial partitionning data structures in Rust☆36Updated 10 months ago
- A simple bitset container for Rust☆142Updated last month
- Rust trait for diffing and applying diffs between data structures☆60Updated 9 months ago
- Faster integer division and modulus operations☆87Updated 2 years ago
- Rust type erased vector.☆17Updated last year
- Parallel iterator processing library for Rust☆103Updated last year
- A metaheuristic framework for solving combinatorial optimization problems☆36Updated 5 months ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆75Updated 9 months ago