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

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