SourceForge.net Logo

Valid XHTML 1.0!

Tautologica

About

Tautologica is a a free suite of educational logic programs, or at least that was what was intended in the beginning. Right now the only component that is in active development is the Tautologica model editor, but the design and implementation of the Tautologica framework would probably make it easy to extend the suite with other applications.

Tautologica is implemented in JAVA, and the license is GPL. Tautologica is hosted at Sourceforge and you will find the sourceforge project page here.

The Tautologica project was first initiated in a course in software development at the University of Linköping (PUM, TDDB61) 2001.

Model editor

With the model editor one can create different models to evaluate predicate logic formulas against. It is easy to change the models and see what makes the formula evaluate true or false.

News

Date Comment
2003-12-01

The Tautologica webpage was created.

Tautologica v0.3.1 is up for download.

Status

The model editor is fully functional and we think that all the evaluation bugs have been fixed. There are some usability features left to implement though.

No other parts of the "suite" is implemented, some requirements specification and design documents exist from the original TDDB61 project.

Todo

You can access the project todo document directly from the CVS (click "download" to view it as HTML).

Screenshots

Screenshots will be added later.

Download

You can download the latest release of Tautologica from the Sourceforge project page.

CVS

Tautologica is hosted at sourceforge so you can download the source directly from the sourceforge CVS if you wish. You will find more info at here.