potassco / flatzincLinks
🫓 A parser for the FlatZinc modelling language
☆13Updated 6 months ago
Alternatives and similar repositories for flatzinc
Users that are interested in flatzinc are comparing it to the libraries listed below
Sorting:
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆43Updated this week
- Lp modeler written in Rust☆103Updated 4 years ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Python bindings for the egglog rust library☆89Updated this week
- misc parsers in rust☆67Updated 4 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated 3 weeks ago
- library implementing interaction with various linear programming solvers☆21Updated last year
- A pure Rust linear programming solver☆90Updated 4 years ago
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- Simulation of point processes in the Rust programming language☆45Updated 2 years ago
- k-Medoids clustering in Rust with the FasterPAM algorithm☆26Updated this week
- Dask scheduler written in Rust☆107Updated last year
- Safe and idiomatic Julia bindings for Rust☆27Updated 2 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 5 months ago
- A collection of examples leveraging the ndarray ecosystem.☆18Updated 5 years ago
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated 2 weeks ago
- A constraint modelling and rewriting library and compiler framework written in rust☆25Updated 2 weeks ago
- Radix heap implementation in Rust☆35Updated last year
- ☆10Updated last year
- Random variables for Rust☆20Updated 4 months ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 3 months ago
- rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…☆31Updated 4 years ago
- Rust crate for numpy NPY files☆28Updated 4 months ago
- Wrappers for BLAS (Fortran)☆81Updated 7 months ago
- .npy and .npz file format support for ndarray☆62Updated last year
- Enzyme integration into Rust. Experimental, do not use.☆101Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago