INSTALLATION INSTUCTIONS

Choreographies Existence Proofs

1. unzip file choreo.zip to some directory D with options that preserve directories structure
2. in the directory D invoke command:
   1. make for linux systems
   2. make target=win for Windows
3. Executable files, which perform proofs, are placed in directory bin.
4. Run:
   1. 3bodies - Eight
   2. 5bodies - choreography with 5 bodies
   3. 6bodies - non symmetric choreography wich 6 bodies