Keep the gradient flowing

Efficient DPLL algorithm

Background: DPLL is the algorithm behind SymPy's implementation of logic.inference.satisfiable After reading the original papers by Davis & Putnam [1], I managed to implement a more efficient version of the DPLL algorithm. It is 10x times faster on medium-sized problems (40 variables), and solves some wrong result bugs [2]. As a side effect, the query module has become 2x faster Source code lives in my sympy repo, http:/, branch logic References: [1]: [2]