Alternatives and similar repositories for flatzinc

Users that are interested in flatzinc are comparing it to the libraries listed below

• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆23Updated last month
• rodolf0 / tox
  misc parsers in rust
  ☆68Updated 6 months ago
• KardinalAI / coin_cbc
  Rust bindings to the CoinOR CBC MILP Solveur using the C API.
  ☆19Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆101Updated 5 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated this week
• kno10 / rust-kmedoids
  k-Medoids clustering in Rust with the FasterPAM algorithm
  ☆26Updated 2 months ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated 2 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• ffminus / copper
  A constraint programming solver.
  ☆10Updated last year
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated last week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆34Updated last week
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 5 years ago
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆46Updated 2 years ago
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆35Updated last year
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆91Updated 5 months ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆29Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 4 years ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆105Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆18Updated 2 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆98Updated last year
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• conjure-cp / uniplate
  Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
  ☆23Updated 3 weeks ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 9 months ago
• It4innovations / rsds
  Dask scheduler written in Rust
  ☆109Updated last year
• WolframResearch / wstp-rs
  Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)
  ☆22Updated 2 years ago