Alternatives and similar repositories for sunny-cp

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

• geoffchu / chuffed

  View on GitHub
  The CP solver Chuffed
  ☆20Sep 26, 2016Updated 9 years ago
• ehebrard / Mistral-2.0

  View on GitHub
  ☆32Feb 22, 2024Updated last year
• nfzhou / lp-contest

  View on GitHub
  ☆11Sep 21, 2025Updated 4 months ago
• MrBenGriffin / or-tools-fun

  View on GitHub
  Examples and Models.
  ☆18Mar 18, 2021Updated 4 years ago
• arthwang / vsc-picat

  View on GitHub
  A VS Code extension supporting for Picat language
  ☆18Oct 27, 2018Updated 7 years ago
• informarte / yuck

  View on GitHub
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆61Dec 23, 2025Updated last month
• LuddeWessen / assembly-robot-manager-minizinc

  View on GitHub
  A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…
  ☆11Jul 6, 2021Updated 4 years ago
• PesantGilles / MiniCPBP

  View on GitHub
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated this week
• timbrgr / complex-scheduling-optimization-case-studies

  View on GitHub
  Optimization Case Studies: Generic Time Scheduling Problem (GTSP), Resource-Constrained Project Scheduling Problem (RCPSP) with Pulse Var…
  ☆11Nov 7, 2018Updated 7 years ago
• hakank / hakank

  View on GitHub
  My public programs and models - mostly combinatorial problems and puzzles
  ☆395Nov 27, 2025Updated 2 months ago
• MiniZinc / minizinc-benchmarks

  View on GitHub
  A suite of MiniZinc benchmarks.
  ☆87Dec 12, 2025Updated 2 months ago
• ed-lam / nutmeg

  View on GitHub
  Nutmeg – a MIP and CP branch-and-check solver
  ☆32Jun 22, 2023Updated 2 years ago
• acharaakshit / RMiniZinc

  View on GitHub
  R Interface to MiniZinc
  ☆14Oct 17, 2021Updated 4 years ago
• MiniZinc / minizinc.github.io

  View on GitHub
  The website for the MiniZinc constraint modelling system
  ☆17Feb 9, 2026Updated last week
• MiniZinc / minizinc-python

  View on GitHub
  Access to all MiniZinc functionality directly from Python
  ☆201Dec 15, 2025Updated 2 months ago
• huub-solver / huub

  View on GitHub
  A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
  ☆27Feb 10, 2026Updated last week
• gzzang / cutting_stock

  View on GitHub
  列生成求解下料问题（Column generation solving cutting stock problem）
  ☆15Feb 22, 2020Updated 5 years ago
• siemens / JMiniZinc

  View on GitHub
  JMiniZinc
  ☆18Oct 13, 2020Updated 5 years ago
• MiniZinc / MiniZincIDE

  View on GitHub
  The MiniZinc IDE
  ☆166Updated this week
• chuffed / chuffed

  View on GitHub
  The Chuffed CP solver
  ☆121Jan 6, 2026Updated last month
• or-tools / awesome_or-tools

  View on GitHub
  A curated list of awesome OR-Tools community resources.
  ☆188Oct 22, 2024Updated last year
• StephanGocht / VeriPB

  View on GitHub
  Verifier for pseudo-Boolean proofs
  ☆15Oct 6, 2022Updated 3 years ago
• cran / rpart

  View on GitHub
   This is a read-only mirror of the CRAN R package repository. rpart — Recursive Partitioning and Regression Trees. Homepage: https://git…
  ☆21Jan 8, 2025Updated last year
• Gecode / MPG

  View on GitHub
  Modeling and Programming with Gecode
  ☆50Updated this week
• Gecode / gecode

  View on GitHub
  Generic Constraint Development Environment
  ☆319Jan 20, 2026Updated 3 weeks ago
• mingodad / picat

  View on GitHub
  My unofficial picat http://picat-lang.org/ repository
  ☆31Jan 11, 2024Updated 2 years ago
• nephio-project / governance

  View on GitHub
  Charter, TSC, and other governance documents.
  ☆15Mar 13, 2024Updated last year
• xcsp3team / ACE

  View on GitHub
  Constraint Solver ACE
  ☆36Feb 9, 2026Updated last week
• xcsp3team / pycsp3

  View on GitHub
  A Python Library for modeling combinatorial constrained problems
  ☆81Feb 3, 2026Updated 2 weeks ago
• MiniZinc / minizinc-examples

  View on GitHub
  small MiniZinc examples demonstrating various language features
  ☆126Sep 11, 2017Updated 8 years ago
• coseal / aslib_data

  View on GitHub
  Algorithm Selection scenario data
  ☆30Sep 29, 2025Updated 4 months ago
• shaowei-cai-group / Local-MIP

  View on GitHub
  A standalone local search solver for general mixed integer programming
  ☆45Feb 8, 2026Updated last week
• claudiosa / CCS

  View on GitHub
  Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
  ☆38Feb 3, 2026Updated last week
• llaisdy / PrologInfo

  View on GitHub
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated this week
• giangstrider / scheduling-optimization-ortools

  View on GitHub
  Using Google Operation Research Tools (Ortools) to solve complex scheduling problems (General optimization problems).
  ☆44Aug 18, 2020Updated 5 years ago
• jckantor / cbe30338-book

  View on GitHub
  CBE 30338 Chemical Process Control
  ☆14Feb 27, 2024Updated last year
• Zip753 / ms-rcpsp

  View on GitHub
  Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.
  ☆13Dec 5, 2016Updated 9 years ago
• alviano / asp-chef

  View on GitHub
  ☆12Updated this week
• TigerGraph-DevLabs / TigerGraph_Northwinds

  View on GitHub
  ☆11Aug 10, 2022Updated 3 years ago