potassco / flatzinc
🫓 A parser for the FlatZinc modelling language
☆13Updated 3 weeks ago
Alternatives and similar repositories for flatzinc:
Users that are interested in flatzinc are comparing it to the libraries listed below
- k-Medoids clustering in Rust with the FasterPAM algorithm☆22Updated 3 months ago
- Algorithms in computational algebra written in rust.☆38Updated this week
- A pure Rust linear programming solver☆86Updated 4 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Updated 2 years ago
- Special functions for Rust by binding to the Cephes library.☆16Updated 7 months ago
- library implementing interaction with various linear programming solvers☆21Updated last year
- misc parsers in rust☆66Updated 4 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 3 weeks ago
- Datalog + Egg = Good☆66Updated last year
- DDO a generic and efficient framework for MDD-based optimization.☆61Updated 3 weeks ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated last year
- Simulation of point processes in the Rust programming language☆41Updated 2 years ago
- Modified Cholesky decompositions☆13Updated 6 months ago
- BLAS source of choice☆41Updated last month
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 4 years ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 3 months ago
- COBYLA optimizer for Rust☆15Updated 11 months ago
- Permutations library for Rust☆14Updated 2 years ago
- Graph algorithms based on the Rust "petgraph" library.☆23Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Dual Number library for Rust☆17Updated 3 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆13Updated 4 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆26Updated 2 months ago
- Wrappers for BLAS (Fortran)☆78Updated last month
- mdbook plugin allowing to load and present a bibliography in BibLaTex format in your books and cite its references☆27Updated last year
- Calculate statistics iteratively☆38Updated last week
- Propositional logic with types in Rust☆62Updated last year
- A collection of examples leveraging the ndarray ecosystem.☆16Updated 5 years ago
- Convert between nalgebra and numpy types.☆22Updated 2 years ago