Top > Graphics > Misc > Kniffel

Kniffel - Converts first order predicate logic to various free graphics formats

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

Obtaining

Web pagehttp://www.raboof.at/various/
Source tarballhttp://www.raboof.at/various/packages/kniffel_src_1_1_1.tgz
Version 1.1.1 (stable) released on 2004-07-25
Licensed under a 2-clause BSD-style license.
This is not a GNU package.

Support contacts

Help List<aleitner@raboof.at>
Developer List<aleitner@raboof.at>
Bug List<aleitner@raboof.at>

Project contacts

Maintainers
Developers

Related information

Interfaceslibrary
Source languagesEiffel
Use requirementsGOBO Eiffel 3.3 or later
Weak prerequisitesePosix 2.0 or later (http://www.berenddeboer.net/eposix/), rubber, ImageMagick, LaTeX (all for using the cgi tool)
Related programsSmartEiffel

Entry information

License verified byJanet Casey <jcasey@gnu.org> on 2004-06-08
Entry compiled byJanet Casey <jcasey@gnu.org>

Categories


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

Copyright © 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 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. A copy of this license is included in the file COPYING.DOC.

Please report any problems in this page to bug-directory@gnu.org, or find out how you can help fix them.

The FSF provides this directory as a service to the free software community. Please consider donating to the FSF to help support this project.