Top Level Namespace

Defined Under Namespace

Modules: MiniSat

Constant Summary collapse

MINISAT_DIR =

use bundled minisat

File.join(File.dirname(__FILE__), "../../minisat/minisat/")