Alternatives and similar repositories for flatzinc

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

• NyxCode / proxy-enum

  View on GitHub
  Emulate dynamic dispatch and sealed classes using a proxy enum, which defers all method calls to its variants.
  ☆19Jun 6, 2021Updated 4 years ago
• webyrd / relational-parsing-with-derivatives

  View on GitHub
  Relational version of parsing with derivatives code
  ☆43Feb 15, 2013Updated 12 years ago
• ehebrard / Mistral-2.0

  View on GitHub
  ☆32Feb 22, 2024Updated last year
• Wikunia / ConstraintSolver.jl

  View on GitHub
  ConstraintSolver in Julia: Blog posts ->
  ☆142Apr 30, 2022Updated 3 years ago
• averkij / Word-to-Number-Russian

  View on GitHub
  Проект для перевода чисел, записанных в текстовом виде на русском языке.
  ☆11Apr 5, 2022Updated 3 years ago
• letmutex / htmd-cli

  View on GitHub
  The command line tool for htmd
  ☆40Nov 24, 2025Updated 2 months ago
• conp-solutions / mergesat

  View on GitHub
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Nov 20, 2023Updated 2 years ago
• Aluriak / clyngor

  View on GitHub
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36Dec 11, 2025Updated 2 months ago
• pauleve / pint

  View on GitHub
  Static analyzer for dynamics of Automata Networks
  ☆12Feb 3, 2021Updated 5 years ago
• leihuang / infotopo0

  View on GitHub
  Information geometry and its extension information topology
  ☆11Dec 2, 2017Updated 8 years ago
• finnqiao / datashader_test

  View on GitHub
  ☆10Dec 26, 2018Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• tyler-utah / PBL

  View on GitHub
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Jun 21, 2015Updated 10 years ago
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• lanl / Parallel-Quantum-Annealing

  View on GitHub
  Parallel Quantum Annealing
  ☆10Jan 7, 2023Updated 3 years ago
• timvieira / rl

  View on GitHub
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Jan 28, 2021Updated 5 years ago
• cclank / qwenimg

  View on GitHub
  ☆29Nov 19, 2025Updated 2 months ago
• tesuji / rust-oom

  View on GitHub
  Rust NonEmpty slice
  ☆13Jul 5, 2021Updated 4 years ago
• petablox / difflog

  View on GitHub
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Sep 26, 2019Updated 6 years ago
• ffminus / copper

  View on GitHub
  A constraint programming solver.
  ☆10Jan 10, 2024Updated 2 years ago
• teeann / scholar-import

  View on GitHub
  Emacs package to import Bibtex & PDF from Google Scholar
  ☆12Apr 12, 2023Updated 2 years ago
• scraperwiki / wikipedia-infobox-tool

  View on GitHub
  Extracts data from the infoboxes of Wikipedia articles.
  ☆10Aug 29, 2013Updated 12 years ago
• AntoonBeres / Rust-Snake-sdl2

  View on GitHub
  A simple snake game written in Rust using sdl2
  ☆11May 4, 2020Updated 5 years ago
• hb2638 / aws_lambda_python_3.11

  View on GitHub
  ☆12Dec 8, 2022Updated 3 years ago
• mwierszycki / gfortran_for_abaqus

  View on GitHub
  Configuration of the GFortran compiler to use it with Abaqus
  ☆13Aug 7, 2022Updated 3 years ago
• panviz / kms

  View on GitHub
  Knowledge management system based on graph data structure
  ☆13Jul 2, 2024Updated last year
• BeanHam / 2019-interpretable-machine-learning

  View on GitHub
  ☆10Mar 10, 2022Updated 3 years ago
• marcottelab / protein_complex_maps_public

  View on GitHub
  Public repository for building and analyzing protein complex maps
  ☆11Dec 6, 2016Updated 9 years ago
• bigbamboo-jp / cloud-ocr-snip

  View on GitHub
  Accurately read text from screenshots using cloud services.
  ☆11Jul 8, 2025Updated 7 months ago
• vue-hooks-form / vue-hooks-form

  View on GitHub
  Vue Composition API for validating form.
  ☆12Updated this week
• lihuazhang / ai-agents-with-llama3

  View on GitHub
  ☆12Sep 7, 2024Updated last year
• getslash / dessert

  View on GitHub
  Standalone version of pytest's assertion introspection rewrite
  ☆12Nov 26, 2025Updated 2 months ago
• assert-rs / docmatic

  View on GitHub
  Enforce Rust documentation correctness
  ☆14Dec 1, 2022Updated 3 years ago
• JuliaStrings / LegacyStrings.jl

  View on GitHub
  Legacy Unicode string types
  ☆15May 3, 2023Updated 2 years ago
• BioJulia / GenomeBrowsers.jl

  View on GitHub
  ☆12Jun 29, 2018Updated 7 years ago
• m-aryayi / Abaqus-Projects

  View on GitHub
  A REPO for some ABAQUS projects including Fortran subroutines and Python scripts
  ☆18May 11, 2024Updated last year
• KULL-Centre / about_writing

  View on GitHub
  some generic (but hopefully still useful) recommendations on writing your thesis
  ☆11Mar 24, 2023Updated 2 years ago
• mkmat / Z1plus-code

  View on GitHub
  Supplementary scripts for Z1+ users
  ☆16Dec 12, 2025Updated 2 months ago
• Oneflow-Inc / conda-env

  View on GitHub
  ☆12Mar 13, 2023Updated 2 years ago