Added allSAT
Added Model class.
Fixed variable naming.
Added returning of False for UNSAT theory.
added function for LaTex printing of Xor statements
keep floor(i) unchanged if i is imaginary symbol
update fastcache to most recent version in travis tests
Added yielding False for UNSAT theories.
Merge pull request #7946 from pbrady/update_fastcache

update fastcache to most recent version in travis tests
Printing: print x**-1.0 differently from 1/x

`x**-1.0` and `x**-1` should print differently.  Fixed this and added
tests.  Pretty printing seemed to work already but tests added.
Close #2860 which is related (it seems fixed but added tests).
Changed __add__ to return the correct phase for the addition of two TWave objects
Fixed sphinx error.
Merge pull request #7874 from SDB1323/AllSAT

AllSAT
6653: modify slow test but keep coverage

Before the original changes were made at 0fa7b9730e56759e5f4bc3752143f5,
the expression added in this PR would also fail in the same way, raising
an assertion. And if the assertion were removed, this wrong expression
was obtained:

1 + O(x**2)

After the changes, the expression covers all added code and gives the
following result:

1 - x**2/2 + O(x**3)
Merge pull request #7935 from cbm755/fix_x_pow_one_float

Printing: print x**-1.0 differently from 1/x
Merge pull request #7901 from zanzibar7/xor_latex

added function for LaTex printing of Xor statements
improved docstring for apart
remove print statements [skip ci]
7961: watch for rounding corner case
Merge pull request #7945 from smichr/6653

modify tests while maintaining coverage