'Kniffel' features a library for dealing with first order predicate logic formulas and tools (command line and CGI versions included) that convert first order predicate logic to LaTeX, graphviz dot, and ASCII formats.
released on 20 October 2004
|License||Verified by||Verified on||Notes|
|BSD 2Clause||Janet Casey||8 June 2004|
Leaders and contributors
Resources and communication
|Required to use||GOBO Eiffel 3.3 or later|
|Weak prerequisite||LaTeX (all for using the cgi tool)|
|Weak prerequisite||ePosix 2.0 or later (http://www.berenddeboer.net/eposix/)|
This entry (in part or in whole) was last reviewed on 7 January 2008.