The conjecturing project is Copyright 2013 Universiteit Gent and is licensed
under the terms of the GNU General Public License - see the file LICENSE.txt.
Main developer: Nicolas Van Cleemput
In collaboration with: Craig Larson
Research Group CAAGT
Department of Applied Mathematics, Computer Science and Statistics
Ghent University
Krijgslaan 281-S9
B-9000 Ghent
Belgium