Hello everyone,
My name is Damien Desfontaines, and I'm currently following a Theoretical
Computer Science Major at the École Normale Supérieure in Paris, which is one of
the most selective universities in France.
I am fairly interested in working for SymPy during the Google Summer of Code
Hi Damien,
The problem is that SymPy likely cannot (and most probably should not)
try to compete with the state of the art (e.g., the DPLL implementation
that I put in will never reach the speed of MiniSAT and other solvers out
there). That said, if there is a need within SymPy to have some form