Categories

Visit BadVista.org Visit PlayOgg.org Visit DefectiveByDesign.org

Kniffel

'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.

Last updated 7 Jan, 2008


User level: Submit a level

User Rating:

Homepage

License(s) :

BSD_2Clause

Rate it!

 

About

Leadership
Requirements
  • GOBO Eiffel 3.3 or later (Use Requirement)
  • ePosix 2.0 or later (http://www.berenddeboer.net/eposix/) (Weak Prerequisite)
  • rubber (Weak Prerequisite)
  • ImageMagick (Weak Prerequisite)
  • LaTeX (all for using the cgi tool) (Weak Prerequisite)
Related Projects

SmartEiffel

Versions

1.1.2

1.1.2 stable released 2004-10-20

User Community and Support

General Resources
Support Resources

Development

Developer Resources
Bug Tracking Resources
 

Please send comments on these web pages to bug-directory@fsf.org, send other questions to info@fsf.org.

Copyright © 2000 - 2008 Free Software Foundation, Inc., 51 Franklin Street, 5th Floor, Boston, MA 02110-1301, USA

The copyright licensing notice below applies to this text. Any software described in this text has its own copyright notice and license, which can usually be found in the distribution itself.

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