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
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• MiniZinc / iminizinc
  IPython / Jupyter notebook magic
  ☆21Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 10 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• nfzhou / lp-contest
  ☆10Updated 8 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆46Updated 2 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated last month
• leanprover / tutorial
  Lean Tutorials
  ☆45Updated 4 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• rfindler / 395-2013
  ☆14Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 8 months ago
• verivital / hyst
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Updated 4 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago