Added allSAT
Added Model class.
Fixed variable naming.
Added returning of False for UNSAT theory.
added function for LaTex printing of Xor statements
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).
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
Merge pull request #7905 from ClemensFMN/apart_docstring

improved docstring for apart in sympy/polys/partfrac.py
Adds line wrapping to Fortran codegen call signatures.

Fortran has a maximum line length of 132 characters. The fcode printer handles
this for the expressions itself, but the call signature failed to wrap if the
number or length of arguments is too large. This fix should deal with most
normal cases.

Fixes issue #7934.