|
Class Summary |
| AR |
It specifies AR benchmark. |
| 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. |
| CarSequencing |
It is program to model and solve simple problems of car sequencing problem (CSPLIB-p1). |
| Conference |
It solves a simple conference session placement problem. |
| CrossWord |
It is an example of the power of ExtensionalSupportMDD constraint which can be used
to efficiently model and solve CrossWord puzzles. |
| Cryptogram |
Cryptogram. |
| DCT |
It specifies DCT benchmark. |
| DeBruijn |
A program solving problem of finding de Bruijn sequences. |
| DFQ |
It specifies DFQ filter benchmark. |
| 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. |
| DOT |
It specifies DOT benchmark. |
| EWF |
It specifies EWF benchmark. |
| Example |
It is an abstract class to describe all necessary functions of any store. |
| Exodus |
It is a simple logic puzzle about children reading stories. |
| FFT |
It specifies FFT benchmark. |
| Filter |
It provides the basic functionality which must be implemented by any
filter problem. |
| FilterBenchmark |
This is a set of filter scheduling examples, commonly used in High-Level Synthesis. |
| FIR |
FIR benchmark (16-point FIR filter). |
| FIR16 |
FIR benchmark (16-point FIR filter)
Source: Kaijie Wu and Ramesh Karri, "Algorithm-Level Recomputing with Shifted
Operands -- A Register Transfer Level Concurrent Error Detection Technique"
IEEE Trans. |
| 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. |
| Gardner |
It specifies a simple Gardner problem which use set functionality from JaCoP. |
| 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. |
| MUCA |
It solves the Mixed Multi-Unit Combinatorial Auctions. |
| Newspaper |
It is a simple newspaper reading job-shop like scheduling problem. |
| Nonogram |
It solves a nonogram example problem, sometimes also called Paint by Numbers. |
| 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. |
| QCP |
It solves QuasiGroup Completion Problem (QCP). |
| Queens |
It models the queens problem in different ways as well as applies
different search methods. |
| RunExample |
This class executes the provided example. |
| 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. |
| SocialGolfer |
It is a Social Golfer example based on set variables. |
| Steiner |
It models and solves Steiner problem. |
| 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. |