This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.

EiffelZone Eiffel Software Directory

Applications - Math

» image: Kutt Niinepuu

Packages (newest first)

Kniffel by Andreas Leitner, Laure Gunther and Wolfgang Lazian

This application is a converter for ยป First Order Predicate Logic expressions. The package includes a first order predicate logic library, a command-line application, and a CGI application.

Latest release: 2004-10-20

Google
 
Web eiffelzone.com

The views expressed in comments are those of the contributor and are not endorsed by us. We aim to make this site as useful as possible but cannot guarantee its accuracy or timeliness. Links preceded by a small double-arrow (») are off-site.