kbrow1i / toddcox Goto Github PK
View Code? Open in Web Editor NEWA C++ implementation of Todd--Coxeter
License: GNU General Public License v3.0
A C++ implementation of Todd--Coxeter
License: GNU General Public License v3.0
Copyright 2011, 2012 Kenneth S. Brown. See the end of the file for license conditions. If you have obtained a prebuilt executable for your system, you can skip the first item and proceed directly to "Running the program". * Building Toddcox See the `INSTALL' file in the source distribution for instructions. After following the instructions, you should have an executable program called `toddcox' possibly with `.exe' appended, either in your current directory or somewhere in your path. * Running the program Type 'toddcox' at a command prompt. Depending on how your path is set up, you may have to include a path specification. On a typical Unix-like system, for example, you would type ./toddcox if the `toddcox' program is contained in your current directory but not in your path. The program will prompt you to enter the necessary information. The documentation (see below) gives several examples. * Running from a script Instead of responding to all the prompts interactively, you can enter them into a file and give the filename as a command-line argument. The Toddcox source distribution contains several sample input files in the `examples' directory. Those files have been installed on your system (in /usr/local/share/toddcox/examples by default) if you are working on a Unix-like system and have run `make install' after building Toddcox. See the README file in that directory for a description of the examples. To run toddcox on the M12 example, for instance, issue the following command: ./toddcox examples/M12.in This assumes that your current directory is the top-level directory of the Toddcox source distribution and that the `toddcox' executable is in that directory. Alternatively, if you have installed Toddcox on your Unix-like system, the command might be toddcox /usr/local/share/toddcox/examples/M12.in * Documentation Documentation for Toddcox, including some sample runs of the program, can be found in the `html' subdirectory of the source distribution. This will be installed in your system documentation directory (/usr/local/share/doc/toddcox by default) if you are working on a Unix-like system and have run `make install' after building Toddcox. * Questions, comments, and bug reports The project website is <http://www.math.cornell.edu/~kbrown/toddcox/> Questions, comments and bug reports should be sent to Ken Brown <[email protected]> This file is part of Toddcox. Toddcox is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version (GPLv3+). Toddcox is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Toddcox. If not, see <http://www.gnu.org/licenses/>. Local variables: mode: outline paragraph-separate: "[ ]*$" end:
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.