Alternatives and similar repositories for flatzinc

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

• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 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
• huonw / fast-math
  Fast, approximate versions of mathematical functions
  ☆35Updated 6 years ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆62Updated last week
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• ZuseZ4 / Rust_RL
  A Reinforcement Learning / Neural Network library, written in Rust.
  ☆19Updated 4 years ago
• noshu / lbfgsb-sys
  Rust binding of fortran Limited memory LBFGS subroutine
  ☆14Updated 5 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago
• vks / special-fun
  Special functions for Rust by binding to the Cephes library.
  ☆16Updated 9 months ago
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated this week
• kno10 / rust-kmedoids
  k-Medoids clustering in Rust with the FasterPAM algorithm
  ☆22Updated 5 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• sellibitze / multiarray
  Small Rust library for handling multi-dimensional data
  ☆13Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆91Updated last month
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• ybyygu / rust-lbfgs
  LBFGS optimization algorithm ported from liblbfgs
  ☆12Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• blas-lapack-rs / blas-src
  BLAS source of choice
  ☆41Updated 3 months ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆28Updated 3 weeks ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆21Updated 2 months ago
• jsmith628 / wedged
  A robust and generalized library for Geometric Algebra in Rust
  ☆24Updated 2 years ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆81Updated 3 months ago