Package org.jacop.examples.fd

Class Summary

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.
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
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.