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 last year
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆88Updated 5 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated last month
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 4 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆59Updated 6 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 6 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆25Updated last year
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 8 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago