MiniZinc / minizinc-doc

Related projects ⓘ

Alternatives and complementary repositories for minizinc-doc

• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆96Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated 2 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated 9 months ago
• motib / LearnSAT
  SAT solver for education
  ☆25Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• brownplt / lambda-py
  ☆58Updated 10 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated this week
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• Herb-AI / HerbSWIPL.jl
  Julia wrapper around SWI Prolog
  ☆13Updated 2 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 6 months 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
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆15Updated 8 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago