Rechercher une page de manuel
grinvin
Langue: en
Version: 252285 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
grinvin --- graph invariant investigatorSYNOPSIS
grinvin
DESCRIPTION
grinvin computes conjectures based on a set of graphs and invariants.
AUTHOR
This manual page was written by Adriaan Peeters apeeters@lashout.net 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.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre