sympy/sympy — pull request #2506 by asmeurer (2013-10-04 23:58:52+00:00)
Title: Make satisfiable() work with arbitrary expressions, not just Symbols

This is in the same spirit as https://github.com/sympy/sympy/pull/2451.

This also should make satisfiable() more deterministic by sorting the symbols.