• Home
  • Popular Downloads
  • Contact Us
  • Submit

Softpile

Free Downloads

Main Navigation
  • Home
  • Windows
  • Mac OS X
  • Business
  • Desktop
  • Development
  • Education
  • Games
  • Internet
  • Multimedia
  • Utilities
Home » Linux » Domino on Acid

Domino on Acid

October 27, 2006
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction.
Version: 1.2
License: GPL
Operating System: Linux
Homepage: www.wollmux.org
Developed by: Matthias S. Benkmann
Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction.

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.
acid classical propositional domino domino acid isometric isometric engine
Free Download 369K
0
  • Share on:

Domino on Acid User Reviews

Sponsored

Categories

  • Linux

Related Downloads

CanDo
An online application that allows teachers and administrators to track student ...
eBookCollector
eBookCollector project is a Java program to manage a book collection.
OpenBiblio
A library automation system.
Asymptopia Flashcard System
Asymptopia Flashcard System project is a LaTeX flash card system for student ...
Hijra Islamic Calendar
Hijra Islamic Calendars is an application for viewing the Islamic calendar ...
Copyright © 1999-2017 Softpile Free Downloads
  • Contact Us
  • Submit
  • Privacy Policy
  • Disclaimer
  • Terms of Use