Closed debugger22 closed 4 years ago
I think it looks good. However, there is little point in merging this until pycosat
is available in SymPy's master branch (see Traceback in the test output on travis-ci).
Until then you can use your branch debugger22:pycosat-benchmark
for any benchmarking of potential implementations.
Send a ping here once pycosat
is merged into sympy
and we can restart the test to see if it works as intended.
Sure.
Is pycosat in SymPy now that 1.0 is released?
Closing due to inactivity.
@bjodah Please review.