Join/Login
Business Software
Open Source Software
For Vendors
Blog
About
More
Articles
Create
SourceForge Podcast
Site Documentation
Subscribe to our Newsletter
Support Request
For Vendors
Help
Create
Join
Login
Business Software
Open Source Software
SourceForge Podcast
Resources
Articles
Case Studies
Blog
Menu
Help
Create
Join
Login
Home
Open Source Software
Scientific/Engineering Software
Search Results
Search Results for "solitaire java"
x
Sort By:
Relevance
Relevance
Most Popular
Last Updated
Name (A-Z)
Rating
Clear All Filters
OS
BSD
1
ChromeOS
1
Linux
1
More...
Mac
1
Windows
1
Category
Scientific/Engineering
1
Mathematics
1
Education
1
Games
1
License
OSI-Approved Open Source
1
Programming Language
Java
1
Status
Mature
1
Showing 1 open source project for "solitaire java"
View related business solutions
Filter Options
Scientific/Engineering
Clear Filters & Widen Search
1
Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. 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.
Downloads:
0 This Week
Last Update:
2013-05-16
See Project
Previous
You're on page
1
Next
Related Searches
domino
dominoes
Related Categories
Education
Games
Scientific/Engineering
✕