Free Software Foundation!

Join now

Browse wiki

Jump to: navigation,
Kniffel
Computer languages Eiffel  +
Full description '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.
Homepage URL http://www.raboof.at/various/  +
Interface library  +
Is GNU false  +
Keywords format conversion  + , graphics  + , ASCII  + , latex  + , first order predicate logic  +
Last review by Janet Casey +
Last review date 7 January 2008  +
License BSD 2Clause +
License verified by Janet Casey  +
License verified date 8 June 2004  +
Name Kniffel  +
Prerequisite description GOBO Eiffel 3.3 or later  + , rubber  + , ImageMagick  + , LaTeX (all for using the cgi tool)  + , ePosix 2.0 or later (http://www.berenddeboer.net/eposix/)  +
Prerequisite kind Required to use  + , Weak prerequisite  +
Real name Andreas Leitner  +
Related projects SmartEiffel +
Resource URL mailto:aleitner@raboof.at  +
Resource audience Bug Tracking  + , Developer  + , Support  +
Resource kind E-mail  +
Revisionid 6,878  +
Revisiontimestamp 12 April 2011 10:26:06  +
Revisionuser User:WikiSysop +
Role Maintainer  +
Short description Converts first order predicate logic to various free graphics formats  +
Submitted by Database conversion +
Submitted date 1 April 2011  +
User level none  +
Version comment 1.1.2 stable released 2004-10-20
Version date 20 October 2004  +
Version download http://www.raboof.at/various/packages/kniffel_src_1_1_2.tgz  +
Version identifier 1.1.2  +
Version status stable  +
Has queryThis property is a special property in this wiki. Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel +
Modification dateThis property is a special property in this wiki. 25 November 2014 18:33:44  +
Page has default formThis property is a special property in this wiki. Entry  +
Has subobjectThis property is a special property in this wiki. Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel + , Kniffel +
EmailThis property is a special property in this wiki. aleitner@raboof.at  +
show properties that link here 

 

Enter the name of the page to start browsing from.



Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.


Personal tools
Namespaces

Variants
Views
Actions
Navigation
Contribute