GRASP - Generic seaRch Algorithm for the Satisfiability Problem

An open-source stable distribution of GRASP is available from here.

Print/export