Alternatives and similar repositories for flatzinc

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

• KardinalAI / coin_cbc
  Rust bindings to the CoinOR CBC MILP Solveur using the C API.
  ☆19Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 weeks ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• rodolf0 / tox
  misc parsers in rust
  ☆67Updated 3 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆90Updated 4 years ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆64Updated this week
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆24Updated last week
• ConSol-Lab / Pumpkin
  A Lazy Clause Generation Constraint Programming solver written in Rust.
  ☆42Updated this week
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆103Updated 4 years ago
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆32Updated 7 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆45Updated 2 years ago
• sellibitze / multiarray
  Small Rust library for handling multi-dimensional data
  ☆13Updated 4 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated 2 weeks ago
• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆17Updated last week
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 6 months ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆62Updated 3 months ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 4 years ago
• kno10 / rust-kmedoids
  k-Medoids clustering in Rust with the FasterPAM algorithm
  ☆26Updated last month
• scharris / WGFEM-Rust
  Weak Galerkin Finite Element Method
  ☆18Updated 11 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆40Updated 11 months ago
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆173Updated 3 weeks ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• rust-ndarray / ndarray-examples
  A collection of examples leveraging the ndarray ecosystem.
  ☆18Updated 5 years ago
• gnang / HypermatrixAlgebraPackage
  ☆10Updated last year