Codes:

WalkMinQBF : With Gabriel Corvera. An algorithm to solve unsat 2-alternation QBF's.
MedRbyLS : An Algorithm to find Midpoints Genomes
GenQBF : Generator of Random QBF formulas
Gen-Reg-SAT: Generator of regular SAT formulas
reg.tgz

MedRbyLS

Median Reversal by Local Search (MedRbyLS) is described in the paper: Computing Genomic Midpoints. [abstract] In preparation.

The Problem: Midpoint genome rearrangement problem. Given there genomes G1, G2, G3 find a midpoint genome G that minimizes d(G1,G)+d(G2,G)+d(G3,G), where d is the reversal/genomic distance. MedRbyLS is a local search algorithm that attempts to find midpoint genomes.

This is the executable (for Linux)     MedRbyLS (the source code will be online soon)
This is the executable for a generator of random (multichromosomal) genomes   genGenome described in the paper.

How to generate Random Genomes:
./genGenome -h        will write all the options
example: ./genGenome -n 100 -c 5 -r 40 -s 1    gives   Gm100c5r40-1.yan
try with different seed and get Gm100c5r40-2.yan, Gm100c5r40-3.yan

How to run the Solver:
./MedRbyLS -h        will write all the options
example: ./MedRbyLS --g1 Gm100c5r40-1.yan --g2 Gm100c5r40-2.yan --g3 Gm100c5r40-3.yan --point Gm100c5r40-3.yan -p 0.15 -N 1000000 --out out --mid mid -P
running this should give you the midpoint mid   which has total distance 107

    GenQBF is a generator of random QBF formulas described in the paper: A Model for Generating Random Quantified Boolean Formulas.

These are the executables (for Linux) to generate two and three alternation formulas:       generaQBF, generaQBFalt3
These are the the source codes generaQBF.tar.gz .
To get the options type ./generaQBF -h
An example :   ./generaQBF -l 2 -k 3 -n 40 -r 0.8 -s 1 -c 10.5    gives Ql2k3alpha10.50rho0.8-72-1.cnf