Uses of Class
org.jacop.examples.fd.ExampleFD

Packages that use ExampleFD

Package	Description
org.jacop.examples.fd
org.jacop.examples.fd.carsequencing
org.jacop.examples.fd.crosswords
org.jacop.examples.fd.muca
org.jacop.examples.fd.nonogram
org.jacop.examples.fd.qcp

Uses of ExampleFD in org.jacop.examples.fd

Subclasses of ExampleFD in org.jacop.examples.fd

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

Uses of ExampleFD in org.jacop.examples.fd.carsequencing

Subclasses of ExampleFD in org.jacop.examples.fd.carsequencing

Modifier and Type	Class and Description
class	CarSequencing It is program to model and solve simple problems of car sequencing problem (CSPLIB-p1).

Uses of ExampleFD in org.jacop.examples.fd.crosswords

Subclasses of ExampleFD in org.jacop.examples.fd.crosswords

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.

Uses of ExampleFD in org.jacop.examples.fd.muca

Subclasses of ExampleFD in org.jacop.examples.fd.muca

Modifier and Type	Class and Description
class	MUCA It solves the Mixed Multi-Unit Combinatorial Auctions.

Uses of ExampleFD in org.jacop.examples.fd.nonogram

Subclasses of ExampleFD in org.jacop.examples.fd.nonogram

Modifier and Type	Class and Description
class	Nonogram It solves a nonogram example problem, sometimes also called Paint by Numbers.

Uses of ExampleFD in org.jacop.examples.fd.qcp

Subclasses of ExampleFD in org.jacop.examples.fd.qcp

Modifier and Type	Class and Description
class	QCP It solves QuasiGroup Completion Problem (QCP).