Alternatives and similar repositories for cp-examples:

Users that are interested in cp-examples are comparing it to the libraries listed below

• daajoe / GPUSAT
  ☆11Updated 3 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 11 months ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 8 months ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• mckib2 / scikit-glpk
  GLPK, but it's Python.
  ☆14Updated 7 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• arminbiere / runlim
  ☆16Updated last year
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 7 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆196Updated 3 weeks ago
• leoneifler / exact-SCIP
  A development version of the numerically exact variant of MIP solver SCIP
  ☆12Updated 2 years ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆30Updated 4 months ago
• milankl / Sonums.jl
  The Self-Organizing NUMbers. A number format that learns from data.
  ☆10Updated 5 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated last year
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• InertialObservr / manim_projects
  projects using 3Blue1Brown's manim engine
  ☆34Updated 4 years ago
• jump-dev / MathOptFormat
  Specification and description of the MathOptFormat file format
  ☆19Updated last year
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• alviano / wasp
  ☆21Updated 5 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 5 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆21Updated last month
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• marcharper / stationary
  Stationary distributions for arbitrary finite state Markov processes, including specializations for the Moran, Wright-Fisher, and other …
  ☆20Updated 6 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year