Added flexibility to Minisat class