MiniZinc / minizinc-doc

Related projects ⓘ

Alternatives and complementary repositories for minizinc-doc

• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆50Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago
• byorgey / species
  ☆17Updated 8 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 4 years ago
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆22Updated 10 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆27Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 9 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 9 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 9 months ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆96Updated this week
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆24Updated 10 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated 9 months ago