Alternatives and similar repositories for flatzinc

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

• rodolf0 / tox
  misc parsers in rust
  ☆67Updated 3 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆34Updated 2 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• ConSol-Lab / Pumpkin
  A Lazy Clause Generation Constraint Programming solver written in Rust.
  ☆39Updated this week
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆103Updated 4 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆90Updated 4 years ago
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆33Updated last year
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆82Updated 6 months ago
• Armavica / rebop
  Fast stochastic simulator for chemical reaction networks
  ☆45Updated 3 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆82Updated this week
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆68Updated last year
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• blas-lapack-rs / lapack
  Wrappers for LAPACK (Fortran)
  ☆85Updated 6 months ago
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆45Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated last month
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• diffeo / kodama
  Fast hierarchical agglomerative clustering in Rust.
  ☆102Updated 4 months 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
  ☆27Updated last week
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆64Updated this week
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆42Updated 6 months ago
• zk4x / zyx
  Tensor library for machine learning
  ☆27Updated this week
• vks / special-fun
  Special functions for Rust by binding to the Cephes library.
  ☆16Updated last year
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated 2 months ago
• rust-ndarray / ndarray-examples
  A collection of examples leveraging the ndarray ecosystem.
  ☆18Updated 5 years ago