flagmatic version 1.5
                  Using the Mac OS X binary distribution


These are the instructions for getting started with the Mac OS X binary
distribution of flagmatic. This distribution is for 64-bit Intel Macs running
Mac OS X 10.6 (Snow Leopard) or Mac OS X 10.7 (Lion). The distribution contains
a User's Guide, the flagmatic and csdp executables and the helper scripts.

See the file CSDP-LICENSE for the terms under which CSDP is provided.

Download the flagmatic-1.5-mac64.zip file from the flagmatic website:

http://www.maths.qmul.ac.uk/~ev/flagmatic/

Your browser may or may not uncompress this file for you. Open the Downloads
folder in Finder and check if there is a flagmatic-1.5-mac64 directory. If not,
you will need to double-click the flagmatic-1.5-mac64.zip file to uncompress it.

To use flagmatic, you need to open the Terminal app, and change to the flagmatic
directory by typing:

$ cd Downloads/flagmatic-1.5-mac64

To test flagmatic, type:

$ mkdir output
$ ./flagmatic --r 3 --n 5 --forbid-k4- --dir output

The output should look something like this:

flagmatic version 1.5
============================================================================
Forbidding 4.3
Using admissible graphs of order 5.
Generated 1 type of order 1, with 2 flags of order 3.
Generated 2 types of order 3, with [7, 4] flags of order 4.
Generated 11 admissible graphs.
Approximate floating-point bound is 0.33333334

In order to produce exact bounds, the helper scripts must be run, and they
require Sage, which can be downloaded from:

http://www.sagemath.org/download-mac.html

Choose a mirror, then choose "Intel", then there is a choice between the "App" version
and the normal version. I suggest choosing the normal version, which will be called
something like

sage-4.8-OSX-64bit-10.6-x86_64-Darwin.dmg

Download and open this disk image, which contains a directory called "sage". This
should be dragged somewhere convenient, for example to Applications.

To run Sage, open the Terminal, and then type

export PATH=$PATH:"/Applications/sage"

After this, you should be able to run sage. To test it type:

$ sage --version
Sage Version 4.7.2, Release Date: 2011-10-29

To test the scripts, you can follow either the examples in the User's Guide or
one of the transcripts from the website.