Top Level Namespace

Defined Under Namespace

Modules: MiniSat

Constant Summary collapse

MINISAT_DIR = 
File.join(File.dirname(__FILE__), "../../minisat/MiniSat_v1.14")