next up previous
Next: Bibliography Up: transIT: A Prolog tool Previous: Ongoing work: steps towards

Download transIt

Currently, transIt release 0.18 can be downloaded and easily installed.

It is developed under Linux, but we also provide a porting that ``should'' run under Windows XP. Notice that, since it is continously under development, both distributions are prototypes and possibly error prone.

To install, simply unpack the archive. This generates an executable application and a folder containing all needed bitmaps. (It is possible to customarily change all or part of these bitmaps.)

Software requirements: In order to use transIt, the Tcl/Tk toolkit have to be installed on your system. (It is being developed using Tcl/Tk version 8.4.5). See http://tcl.sourceforge.net.

In case of problems, to notify errors, or to communicate suggestions, please contact
Andrea Formisano-- Email:formis[at]dmiDOTunipgDOTit


Further details on the implementation techniques and strategies exploited in trandIt can be found in:
A. Formisano and M. Nicolosi Asmundo.   An efficient relational deductive system for propositional non-classical logics.   J. of Applied Non-Classical Logics, 16(3-4), 2006. (BibTeX)

Disclaimer: All software presented within this site are intended for educational purposes. The owners, distributors and any participants disclaim all liability or loss in conjunction with any content provided here. Including defective products or direct, indirect, special, incidental or consequential damages, arising out of the use or the inability to use the materials/information available on this site.

All trademarks are owned by the respective companies.


next up previous
Next: Bibliography Up: transIT: A Prolog tool Previous: Ongoing work: steps towards
Last update: 01-12-2009 by andy