SYNOPSIS
grinvin
DESCRIPTION
grinvin computes conjectures based on a set of graphs and invariants.
AUTHOR
This manual page was written by Adriaan Peeters [email protected] for the Debian system (but may be used by others). It is based on the help output of grinvin. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License, Version 2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.