Alternatives and similar repositories for flatzinc

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

• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆86Updated 4 years ago
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆30Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆98Updated last month
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆62Updated last month
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated 2 months ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• rockysnow7 / rzozowski
  A regex crate using Brzozowski derivatives.
  ☆26Updated 2 months ago
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• zmitchell / polsim
  A command line utility for doing polarization simulations
  ☆17Updated 5 years ago
• JakubValtar / radsort
  Radix sort implementation for sorting by scalar keys (integers, floats, chars, bools)
  ☆22Updated 10 months ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆26Updated last year
• vks / special-fun
  Special functions for Rust by binding to the Cephes library.
  ☆16Updated 11 months ago
• zk4x / zyx
  Tensor library for machine learning
  ☆27Updated 2 weeks ago
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆32Updated 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…
  ☆30Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• At0micBee / scilib
  A rust crate for mathematics and science
  ☆40Updated last year
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆41Updated 5 months ago
• blas-lapack-rs / blas-src
  BLAS source of choice
  ☆42Updated 4 months ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• relf / cobyla
  COBYLA optimizer for Rust
  ☆16Updated last year