Models
Easy
- AllInterval
- BIBD
- BoardColoration
- CryptoPuzzle
- FlowShopScheduling
- GolombRuler
- LabeledDice
- MagicSequence
- Queens
- RectanglePacking
- SubgraphIsomorphism
- Sudoku
- TrafficLights
- Warehouse
Medium
- BACP
- Blackhole
- Layout
- Mario
- Nonogram
- Quasigroup
- RCPSP
- SocialGolfers
- SportScheduling
- StableMarriage
- Vellino
Difficult
- Amaze
- Diagnosis
- OpenStacks
- PizzaVoucher
- RackConfiguration
- TravelingTournament