Alternatives and similar repositories for minizinc-doc:

Users that are interested in minizinc-doc are comparing it to the libraries listed below

• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated this week
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆26Updated 3 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 10 months ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆92Updated 7 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 8 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆121Updated last week
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• nfzhou / lp-contest
  ☆10Updated 6 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated 6 months ago