Type Definition minisat::sys::minisat_bool

type minisat_bool = c_int;