- About
Kniffel is a library for dealing with first order predicate logic. Right now, a cgi and command line application is included that reads a formula in plain ASCII and outputs the same formula as image and postscript file. Optionally the formula can be converted to the conjective normal form.
- Requirements
- Eiffel Compiler (either one):
- ISE Eiffel 5.4 (http://www.eiffel.com)
- SmartEiffel 1.1 (http://smarteiffel.loria.fr)
- Visual Eiffel 4.1 (http://www.object-tools.com)
- GOBO Eiffel 3.3 (http://www.gobosoft.com)
- Eiffel Compiler (either one):
Optional (for CGI tool only):
- ePosix 2.0 (http://www.berenddeboer.net/eposix/)
- rubber
- ImageMagic
- graphviz
- latex
- Installation
Define the environment variable ${KNIFFEL} (resp. %KNIFFEL% on Windows) to point to the directory where you unpacked Kniffel to. Then, on Linux/Unix do:
cd $KNIFFEL
geant install
geant compile
on Windows:
cd %KNIFFEL%
geant install
geant compile
- Authors
- Gunther Laure (gunnar2@sbox.tugraz.at)
- Wolfgang Lazian (lazian@sbox.tugraz.at)
- Andreas Leitner (aleitner@raboof.at)
- Contact
www: http://www.raboof.at/various
www: http://www.raboof.at/cgi-bin/kniffel_cgi
email: Andreas Leitner (aleitner@raboof.at)