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 (CSPLIB-P28).
|
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 job-shop 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.
|