Alternatives and similar repositories for specialization-examples:

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

• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆148Updated 3 weeks ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last week
• csplib / csplib
  A benchmark library for constraints
  ☆89Updated 5 months ago
• MiniZinc / minizinc-benchmarks
  A suite of MiniZinc benchmarks.
  ☆84Updated 4 years ago
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆375Updated 3 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆57Updated 8 months ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated last year
• MiniZinc / minizinc.github.io
  The website for the MiniZinc constraint modelling system
  ☆16Updated 3 weeks ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• ehebrard / Mistral-2.0
  ☆31Updated last year
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆157Updated last month
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆103Updated this week
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆25Updated last year
• minicp / minicp
  minicp
  ☆20Updated last month
• chocoteam / pychoco
  ☆14Updated 2 months ago
• Gecode / gecode
  Generic Constraint Development Environment
  ☆287Updated 8 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆539Updated 3 weeks ago
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 10 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆43Updated last week
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆66Updated 2 weeks ago
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆167Updated 3 weeks ago
• discreteoptimization / setcover
  Open source solvers for the Discrete Optimization set cover assignment.
  ☆107Updated 4 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• discreteoptimization / assignment
  Assignments and Graders for Discrete Optimization on Coursera
  ☆95Updated last year
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆64Updated 10 months ago