Bug fix: initialize assumptions correctly in specialized "solve()".
Bug fix: initialize assumptions correctly in specialized "solve()".

meteor/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,niklasso/minisat,mabdula/minisat,jamesbornholt/minisat,niklasso/minisat,meteor/minisat,meteor/minisat,robertsami/minisat,mabdula/minisat,jamesbornholt/minisat