Class | Description |
---|---|
ArchFriends |
It is a simple logic puzzle about shoe purchases.
|
BabySitting |
It is a simple logic puzzle about babysitting.
|
BasicLogicPascal |
It solves an arithmetic puzzle BASIC+LOGIC=PASCAL.
|
BIBD |
It models and solves Balanced Incomplete Block Design (BIBD) problem (CSPLIB-P28).
|
BlueberryMuffins |
It solves a simple logic puzzle about blueberry muffins.
|
BreakingNews |
It solves a simple logic puzzle about reporters breaking news stories.
|
BuildingBlocks |
It solves a simple logic puzzle about blocks.
|
CalendarMen |
It solves a simple logic puzzle about sport calendar.
|
Conference |
It solves a simple conference session placement problem.
|
ConferenceTalkPlacement |
It solves a simple conference talk placement problem.
|
Cryptogram |
Cryptogram.
|
DeBruijn |
A program solving problem of finding de Bruijn sequences.
|
Diet |
It specifies a simple diet problem.
|
DollarAndTicket |
It solves a simple logic puzzle - Dollar and Ticket problem.
|
DonaldGeraldRobert |
It specifies the logic puzzle (cryptogram) which need to satisfy the following
equation that DONALD+GERALD=ROBERT.
|
ExampleFD |
It is an abstract class to describe all necessary functions of any store.
|
Exodus |
It is a simple logic puzzle about children reading stories.
|
FittingNumbers |
It is program to solve problem of fitting numbers to made them equal to zero.
|
Flowers |
It is quite complex logic puzzle about flowers.
|
FourIslands |
It is a very simple puzzle about islands and bridges.
|
FurnitureMoving |
It is a simple logic puzzle about furniture moving.
|
Gates |
It specifies an adder using gates specified by extensional constraints.
|
GeostExample |
It specifies an example where squares of the given size must be placed within
a square of a given size.
|
Golf |
A simple logic puzzle about golf players.
|
Golomb |
It models a Golomb ruler problem.
|
HistoricHomes |
It is a simple logic puzzle about houses.
|
Kakro |
It is program to solve Kakro puzzles.
|
KnapsackExample |
It shows the capabilities and usage of Knapsack constraint.
|
Langford |
It solves Langford problem.
|
LatinSquare |
It solves a Latin Square problem.
|
LeastDiff |
Simple least Diff problem.
|
LectureSeries |
It is a simple logic puzzle about lectures.
|
MagicSquares |
It solves a Magic squares problem.
|
MasterClass |
It solves a logic puzzle about singing women.
|
MineSweeper |
It models and solves Minesweeper problem.
|
Newspaper |
It is a simple newspaper reading job-shop like scheduling problem.
|
NonTransitiveDice |
It models and solves Nontransitive Dice Problem.
|
Parcel |
It solves a simple parcel shipment problem.
|
PerfectSquare |
It specifies an example where squares of the given size must be placed within
a square of a given size.
|
PigeonHole |
It solves the PigeonHole problem.
|
ProAndCon |
It solves a simple logic puzzle about voting city council.
|
Queens |
It models the queens problem in different ways as well as applies
different search methods.
|
SendMoreMoney |
It is a simple arithmetic logic puzzle, where SEND+MORE=MONEY.
|
SiblingUproar |
It is quite complex logic puzzle about siblings.
|
SleepingArrangements |
It is a simple logic puzzle about sleeping arrangements.
|
StonesOfHeaven |
It solves a simple logic puzzle about artifacts.
|
Sudoku |
A simple model to solve Sudoku problem.
|
SurvoPuzzle |
It solves Survo puzzle.
|
TSP |
It models Travelling Salesman Problem (TSP).
|
Tunapalooza |
It solves a simple logic puzzle about music concert.
|
WhoKilledAgatha |
Who killed agatha? (The Dreadsbury Mansion Murder Mystery).
|
WolfGoatCabbage |
A simple logic problem of transporting wolf, goat, and cabbage over the river.
|
Zebra |
It models and solves Zebra logic puzzle.
|
Copyright © 2022. All rights reserved.