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; }); }
public static string ExecuteSAT(IndexArgumentSetup setup, string nick) { var idxname = String.Format ("{0}/Index.SAT-Legacy", nick); return Execute (setup, nick, idxname, (db) => { var sat = new SAT (); sat.Build (db, RandomSets.GetRandom()); return sat; }); }