Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo


Tree [28d975] v0.10 /

File Date Author Commit
benchmarks 2009-06-02 Neil Moore Neil Moore [03f95e] Fix problem with benchmark runs running concurr...
cmake-modules 2010-03-09 Christopher Christopher [0ae66b] Add staticvecneq constraint
docs 2010-03-15 Lars Kotthoff Lars Kotthoff [28d975] regenerate help
generators 2009-12-17 Christopher Christopher [9f712d] Fix some warnings and minor bitrot in generators
mini-scripts 2010-03-09 Christopher Christopher [0ae66b] Add staticvecneq constraint
minion 2010-03-15 Lars Kotthoff Lars Kotthoff [28d975] regenerate help
nauty24b7 2010-02-04 Christopher Christopher [f40256] Remove unneeded header (unistd.h) which isn't o...
release-scripts 2009-05-05 larsko larsko [1e806a] adding shell opt for extended glob expansion
summer_school 2008-06-26 kep kep [00ad99] full manual
sym_test 2008-10-21 caj caj [610cef] Make it easy to get the actual permutations, ra...
test_instances 2009-08-06 Lars Kotthoff Lars Kotthoff [680a1b] allowing tests which rely on compressed input f...
visualisation 2009-05-22 Lars Kotthoff Lars Kotthoff [8a1c3d] fixing visualiser tests for ghc-6.10
CMakeLists.txt 2010-02-25 Christopher Christopher [25de48] Initial attempt at Lar's dummy queue idea
LICENSE.txt 2008-01-16 caj caj [376763] Start moving into trunk
README 2009-05-26 Christopher Christopher [925f36] We are not sorry
build-all-windows.bat 2008-01-17 caj caj [2a0110] Fix bugs in gadget and occurrence constraints
build-all.sh 2008-10-14 larsko larsko [ebb6eb] adjusting build-all.sh for new cmake stuff
regression.filelist 2008-01-16 caj caj [6971e5] Adding file for use with Regression.pl

Read Me

Welcome to the Minion source!

The minimum verson of CMake you'll need is 2.4.7. You'll also need Boost (at
least version 1.33).

First, create a directory to do the build in, e.g.

mkdir bin

Then change to that directory. Now run CMake to configure Minion:

cmake ..

This assumes that you've created the build directory in the Minion directory;
the argument to CMake is the directory that contains the Minion distribution.

This will look for the location of your compiler, and a few system libraries.
If you ever add additional constraints, or add or remove files, then
you should re-run cmake. The Makefile is generated by CMake; it is safe to
delete it.

After that, you can compile Minion by doing:

make minion

which should produce the binary "minion".

If you want to build the debug version, re-run cmake like

cmake -DDEBUG=1 ..

and then type

make minion

again. This should produce the "minion-debug" binary. The debug version is much
slower but has a large amount of internal checks. It should be used if you are
unsure / worried about the results Minion produces, or it crashes.

Note that CMake caches your configuration between runs, i.e. just running

cmake ..

after having built the debug version will again produce Makefiles for the debug
version. To turn debugging off, run

cmake -DDEBUG=0 ..

To test your Minion installation, you can use the "test-quick", "test", and
"test-slow" Makefile targets.

To clean all generated files, simply delete the directory you did the build in.

the "docs" directory contains a full manual for Minion. 
The "benchmarks" directory contains a range of example programs.
The "generators" directory contains a number of generators, these are
in general poorly documented.