Added allSAT
Added Model class.
Fixed variable naming.
Added returning of False for UNSAT theory.
Added yielding False for UNSAT theories.
Fixed sphinx error.
Merge pull request #7874 from SDB1323/AllSAT

AllSAT