Alternatives and similar repositories for chuffed:

Users that are interested in chuffed are comparing it to the libraries listed below

• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated 3 weeks ago
• ehebrard / Mistral-2.0
  ☆32Updated last year
• csplib / csplib
  A benchmark library for constraints
  ☆92Updated 7 months ago
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆85Updated 4 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆289Updated 10 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆67Updated 2 weeks ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆14Updated 2 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆149Updated this week
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆59Updated 9 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• xcsp3team / ACE
  Constraint Solver ACE
  ☆30Updated 2 weeks ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆18Updated 9 months ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆31Updated last week
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last month
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆29Updated 3 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated last year
• arminbiere / runlim
  ☆16Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆104Updated this week
• xcsp3team / XCSP3-CPP-Parser
  XCSP3 Core Parser in C++
  ☆19Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago