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.)
  ☆31Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆85Updated last week
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• ptal / intervallum
  Integer interval arithmetic library
  ☆17Updated last year
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆22Updated this week
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆86Updated 4 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆13Updated 3 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆60Updated last month
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated last month
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 8 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last week
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆22Updated 7 years ago
• jeremysalwen / rust-permutations
  Permutations library for Rust
  ☆14Updated 2 years ago
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 6 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• wafflespeanut / nucleic-acid
  BWT, FM-index and bits vector for analyzing DNA sequence data.
  ☆17Updated 7 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆80Updated 4 years ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆36Updated last year
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago