Alternatives and similar repositories for flatzinc

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

• yurivish / made-of-bits
  A little library of bit-based data structures.
  ☆21Updated 4 months ago
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated last week
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆105Updated 4 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 5 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated last week
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆37Updated last year
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆25Updated 2 weeks ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 3 years ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆28Updated 2 weeks ago
• ConSol-Lab / Pumpkin
  A Lazy Clause Generation Constraint Programming solver written in Rust.
  ☆62Updated this week
• 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
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 7 months ago
• ffminus / copper
  A constraint programming solver.
  ☆10Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• francisco-perez-sorrosal / mdbook-bib
  mdbook plugin allowing to load and present a bibliography in BibLaTex or Hayagriva YAML formats in your books and cite its references
  ☆31Updated this week
• rodolf0 / tox
  misc parsers in rust
  ☆68Updated 3 weeks ago
• frjnn / bhtsne
  Parallel Barnes-Hut t-SNE implementation written in Rust.
  ☆89Updated 6 months ago
• KardinalAI / coin_cbc
  Rust bindings to the CoinOR CBC MILP Solveur using the C API.
  ☆19Updated 2 years ago
• blas-lapack-rs / blas-src
  BLAS source of choice
  ☆44Updated 3 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• Daniel-Liu-c0deb0t / triple_accel
  Rust edit distance routines accelerated using SIMD. Supports fast Hamming, Levenshtein, restricted Damerau-Levenshtein, etc. distance cal…
  ☆109Updated 2 years ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated 2 years ago
• kno10 / rust-kmedoids
  k-Medoids clustering in Rust with the FasterPAM algorithm
  ☆27Updated 4 months ago
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36Updated last month
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆67Updated 8 months ago
• pczarn / cfg
  Library for manipulating context-free grammars in Rust.
  ☆30Updated 2 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆96Updated last week
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated 9 months ago