Alternatives and similar repositories for flatzinc

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

• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆22Updated last week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆63Updated 5 months ago
• ConSol-Lab / Pumpkin
  A Lazy Clause Generation Constraint Programming solver written in Rust.
  ☆54Updated this week
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• ffminus / copper
  A constraint programming solver.
  ☆10Updated last year
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 4 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated last week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• rust-ndarray / ndarray-examples
  A collection of examples leveraging the ndarray ecosystem.
  ☆18Updated 5 years ago
• francisco-perez-sorrosal / mdbook-bib
  mdbook plugin allowing to load and present a bibliography in BibLaTex format in your books and cite its references
  ☆28Updated 3 months ago
• rodolf0 / tox
  misc parsers in rust
  ☆68Updated 5 months ago
• simensgreen / rusymbols
  rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…
  ☆32Updated 4 years ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆104Updated 4 years ago
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆34Updated 9 months ago
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆92Updated 4 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• gnang / HypermatrixAlgebraPackage
  ☆10Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 4 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆91Updated this week
• kno10 / rust-kmedoids
  k-Medoids clustering in Rust with the FasterPAM algorithm
  ☆26Updated last month
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• KardinalAI / coin_cbc
  Rust bindings to the CoinOR CBC MILP Solveur using the C API.
  ☆19Updated 2 years ago
• vks / special-fun
  Special functions for Rust by binding to the Cephes library.
  ☆16Updated last year
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆35Updated last year