public static string ExecuteSATApprox(IndexArgumentSetup setup, string nick)
{
var idxname = String.Format ("{0}/Index.SATApprox", nick);
return Execute (setup, nick, idxname, (db) => {
var sat = new SAT();
sat.Build(db, new Random());
var satapprox = new SAT_ApproxSearch();
satapprox.Build(sat);
return satapprox;
});
}