Modifier and Type  Class and Description 

class 
ArchFriends
It is a simple logic puzzle about shoe purchases.

class 
BabySitting
It is a simple logic puzzle about babysitting.

class 
BasicLogicPascal
It solves an arithmetic puzzle BASIC+LOGIC=PASCAL.

class 
BIBD
It models and solves Balanced Incomplete Block Design (BIBD) problem (CSPLIBP28).

class 
BlueberryMuffins
It solves a simple logic puzzle about blueberry muffins.

class 
BreakingNews
It solves a simple logic puzzle about reporters breaking news stories.

class 
BuildingBlocks
It solves a simple logic puzzle about blocks.

class 
CalendarMen
It solves a simple logic puzzle about sport calendar.

class 
Conference
It solves a simple conference session placement problem.

class 
Cryptogram
Cryptogram.

class 
DeBruijn
A program solving problem of finding de Bruijn sequences.

class 
Diet
It specifies a simple diet problem.

class 
DollarAndTicket
It solves a simple logic puzzle  Dollar and Ticket problem.

class 
DonaldGeraldRobert
It specifies the logic puzzle (cryptogram) which need to satisfy the following
equation that DONALD+GERALD=ROBERT.

class 
Exodus
It is a simple logic puzzle about children reading stories.

class 
FittingNumbers
It is program to solve problem of fitting numbers to made them equal to zero.

class 
Flowers
It is quite complex logic puzzle about flowers.

class 
FourIslands
It is a very simple puzzle about islands and bridges.

class 
FurnitureMoving
It is a simple logic puzzle about furniture moving.

class 
Gates
It specifies an adder using gates specified by extensional constraints.

class 
GeostExample
It specifies an example where squares of the given size must be placed within
a square of a given size.

class 
Golf
A simple logic puzzle about golf players.

class 
Golomb
It models a Golomb ruler problem.

class 
HistoricHomes
It is a simple logic puzzle about houses.

class 
Kakro
It is program to solve Kakro puzzles.

class 
KnapsackExample
It shows the capabilities and usage of Knapsack constraint.

class 
Langford
It solves Langford problem.

class 
LatinSquare
It solves a Latin Square problem.

class 
LeastDiff
Simple least Diff problem.

class 
LectureSeries
It is a simple logic puzzle about lectures.

class 
MagicSquares
It solves a Magic squares problem.

class 
MasterClass
It solves a logic puzzle about singing women.

class 
MineSweeper
It models and solves Minesweeper problem.

class 
Newspaper
It is a simple newspaper reading jobshop like scheduling problem.

class 
NonTransitiveDice
It models and solves Nontransitive Dice Problem.

class 
Parcel
It solves a simple parcel shipment problem.

class 
PerfectSquare
It specifies an example where squares of the given size must be placed within
a square of a given size.

class 
PigeonHole
It solves the PigeonHole problem.

class 
ProAndCon
It solves a simple logic puzzle about voting city council.

class 
Queens
It models the queens problem in different ways as well as applies
different search methods.

class 
SendMoreMoney
It is a simple arithmetic logic puzzle, where SEND+MORE=MONEY.

class 
SiblingUproar
It is quite complex logic puzzle about siblings.

class 
SleepingArrangements
It is a simple logic puzzle about sleeping arrangements.

class 
StonesOfHeaven
It solves a simple logic puzzle about artifacts.

class 
Sudoku
A simple model to solve Sudoku problem.

class 
SurvoPuzzle
It solves Survo puzzle.

class 
TSP
It models Travelling Salesman Problem (TSP).

class 
Tunapalooza
It solves a simple logic puzzle about music concert.

class 
WhoKilledAgatha
Who killed agatha? (The Dreadsbury Mansion Murder Mystery).

class 
WolfGoatCabbage
A simple logic problem of transporting wolf, goat, and cabbage over the river.

class 
Zebra
It models and solves Zebra logic puzzle.

Modifier and Type  Class and Description 

class 
CarSequencing
It is program to model and solve simple problems of car sequencing problem (CSPLIBp1).

Modifier and Type  Class and Description 

class 
CrossWord
It is an example of the power of ExtensionalSupportMDD constraint which can be used
to efficiently model and solve CrossWord puzzles.

Modifier and Type  Class and Description 

class 
MUCA
It solves the Mixed MultiUnit Combinatorial Auctions.

Modifier and Type  Class and Description 

class 
Nonogram
It solves a nonogram example problem, sometimes also called Paint by Numbers.

Modifier and Type  Class and Description 

class 
QCP
It solves QuasiGroup Completion Problem (QCP).

Copyright © 2022. All rights reserved.