Alternatives and similar repositories for cp-examples

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

• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated 3 months ago
• phrsampaio / deft-funnel
  DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.
  ☆11Updated 4 years ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 5 months ago
• coin-or / GrUMPy
  A Python library for visualizing algorithms for solving mathematical optimization problems.
  ☆66Updated 4 years ago
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆20Updated 4 years ago
• ticdat / ticdat
  ☆24Updated last month
• python-graphblas / graphblas-algorithms
  Graph algorithms written in GraphBLAS
  ☆80Updated last week
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• Pyomo / pysp
  PySP: Stochastic Programming in Python
  ☆42Updated 4 years ago
• jon77lee / JLee_LinearOptimizationBook
  ☆147Updated last year
• mckib2 / scikit-glpk
  GLPK, but it's Python.
  ☆14Updated last year
• coin-or / Gravity
  Mathematical Modeling for Optimization and Machine Learning
  ☆157Updated last week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated 2 months ago
• coin-or / CyLP
  A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.
  ☆189Updated 3 months ago
• engri-1101 / gilp
  A Python package for visualizing the geometry of linear programs.
  ☆61Updated last year
• golvok / simplex-gpu
  The simplex algorithm, implemented in Cuda and for CPU (ECE1782 project)
  ☆17Updated 5 years ago
• cvxgrp / ncvx
  ☆77Updated 3 years ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• Quansight-Labs / ndindex
  A Python library for manipulating indices of ndarrays
  ☆107Updated last week
• nextmv-io / community-apps
  Pre-built decision models serving as the base for Marketplace subscription apps.
  ☆26Updated last week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆433Updated 2 weeks ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆178Updated 3 weeks ago
• mlubin / jlSimplex
  Proof-of-concept implementation of the (dual) simplex algorithm for linear programming in Julia.
  ☆40Updated 12 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• ispaneli / lippy
  A module for solving linear programming problems on Python.
  ☆19Updated 2 years ago
• NEOS-Server / PythonClient
  ☆18Updated 7 years ago
• leoneifler / exact-SCIP
  A development version of the numerically exact variant of MIP solver SCIP
  ☆12Updated 2 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago