free society. We build this foundation.
With your help, we will raise $450,000 this
winter to make this foundation even stronger.
Donate today, and build us up for 2014.
'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.
|License||Verified by||Verified on||Notes|
|BSD 2Clause||Janet Casey||8 June 2004|
Leaders and contributors
Resources and communication
|Weak prerequisite||ePosix 2.0 or later (http://www.berenddeboer.net/eposix/)|
|Required to use||GOBO Eiffel 3.3 or later|
|Weak prerequisite||LaTeX (all for using the cgi tool)|
This entry (in part or in whole) was last reviewed on 7 January 2008.