Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.


Tree [09ba3f] Skye-experiments-version3 /

File Date Author Commit
benchmarks 2009-06-02 Neil Moore Neil Moore [03f95e] Fix problem with benchmark runs running concurr...
cmake-modules 2009-11-02 Christopher Christopher [39da17] add lexless[quick]
docs 2009-08-19 Lars Kotthoff Lars Kotthoff [560931] updating online help and changing the way it is...
generators 2009-10-16 Peter Nightingale Peter Nightingale [774b71] Make parser faster on indicator problems by avo...
mini-scripts 2009-11-24 Lars Kotthoff Lars Kotthoff [e85695] tweaking script to get times and nodes to optio...
minion 2010-09-28 Peter Nightingale Peter Nightingale [09ba3f] Fix bug when pretending gcc is an alldiff.
nauty24b7 2009-02-02 caj caj [9b735f] Improve symmetry detection and breaking
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 2009-10-01 Lars Kotthoff Lars Kotthoff [89a0f1] removing broken pdfhelp target
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 2008-10-14 larsko larsko [ebb6eb] adjusting for new cmake stuff
experiment-notes 2009-10-16 Peter Nightingale Peter Nightingale [b88ddd] add some notes about the experiments to do.
regression.filelist 2008-01-16 caj caj [6971e5] Adding file for use with

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.