potassco / flatzincLinks
🫓 A parser for the FlatZinc modelling language
☆13Updated 7 months ago
Alternatives and similar repositories for flatzinc
Users that are interested in flatzinc are comparing it to the libraries listed below
Sorting:
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- misc parsers in rust☆68Updated 5 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Simulation of point processes in the Rust programming language☆46Updated 2 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆47Updated this week
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Fast stochastic simulator for chemical reaction networks☆46Updated last month
- Library of well known algorithms for numerical root finding.☆56Updated 11 months ago
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- mdbook plugin allowing to load and present a bibliography in BibLaTex format in your books and cite its references☆28Updated 2 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- A constraint modelling and rewriting library and compiler framework written in rust☆25Updated last week
- Small Rust library for handling multi-dimensional data☆13Updated 4 years ago
- ☆19Updated last month
- An experimental library for metaprogramming with algebraic effects and handlers☆14Updated this week
- Python bindings for the egglog rust library☆89Updated this week
- k-Medoids clustering in Rust with the FasterPAM algorithm☆26Updated 3 weeks ago
- library implementing interaction with various linear programming solvers☆21Updated last year
- Wrappers for BLAS (Fortran)☆81Updated 8 months ago
- A little library of bit-based data structures.☆17Updated last month
- Low effort scraping Python's pickle format in Rust. It is to complete pickle parsing as BeautifulSoup was to complete HTML parsing.☆25Updated last year
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆22Updated 2 years ago
- Einstein summation for Rust☆40Updated 4 years ago
- Wrappers for LAPACK (Fortran)☆87Updated 8 months ago
- A pure Rust linear programming solver☆90Updated 4 years ago
- Lp modeler written in Rust☆103Updated 4 years ago
- A collection of examples leveraging the ndarray ecosystem.☆18Updated 5 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Updated 2 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 4 months ago