Models
Easy
- AllInterval
- BIBD
- BoardColoration
- CommunityDetection
- CryptoPuzzle
- GolombRuler
- LabeledDice
- MagicSequence
- Queens
- RectanglePacking
- SchedulingFS
- Subisomorphism
- Sudoku
- TrafficLights
- Warehouse
Medium
- BACP
- Blackhole
- KidneyExchange
- Layout
- Mario
- Nonogram
- QuasiGroup
- RCPSP
- SocialGolfers
- SportScheduling
- StableMarriage
- SteelMillSlab
- Vellino1
Difficult
- Amaze
- Diagnosis
- FreePizza
- OpenStacks
- Rack
- TravelingTournament