Domino on Acid

	DISCUSSION Edit Software
Vote this record may only once time logged user.
Software > GAMES/ board games

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic. The game can be played online as an applet or offline as an application. It is built on a simple isometric engine that can be used independent of the game.

Adding date:

23.7.2004 14:59

GUI:

yes

Terminal:

Licence:

GPL

Home Page:

http://www.winterdrache.de/freeware/domino/index.html

Creator:

Matthias S. Benkmann

Developer company:

Alternativ SW in Windows:

SW instalation requirement:

JAVA JRE

HW instalation requirement:

Rate: not rated yet

Download

Package Type	Download	Size in kB
source	http://www.winterdrache.de/[..]ta/Domino.jar	366
data	http://www.winterdrache.de/[..]ta/Domino.jar	366

Added by:

John Smith

DISCUSSION

For this item is no comments.

Add comment is possible for logged registered users.

Search Software

Search Google

Latest aktual Distributions

1.	Pacman linux Download: 4879x
2.	FreeBSD Download: 9067x
3.	PCLinuxOS-2010 Download: 8564x
4.	alcolix Download: 10948x
5.	Onebase Linux Download: 9661x
6.	Novell Linux Desktop Download: 0x
7.	KateOS Download: 6244x

Latest aktual Software

1.	xinetd Download: 2413x
2.	RDGS Download: 937x
3.	spkg Download: 4760x
4.	LinPacker Download: 9966x
5.	VFU File Manager Download: 3198x
6.	LeftHand Mała Księgowość Download: 7203x
7.	MISU pyFotoResize Download: 2808x
8.	Lefthand CRM Download: 3563x
9.	MetadataExtractor Download: 0x
10.	RCP100 Download: 3120x
11.	Predaj softveru Download: 0x
12.	MSH Free Autoresponder Download: 0x

linuxsoft.cz | Design: www.megadesign.cz