Aleksei Udovenko
Aleksei Udovenko
Speedup is nice! Would be nice to detect numpy before using it, because having numpy as a dependency seems an overkill.
You can also bruteforce solutions bit-by-bit. See the `recover` function in https://gist.github.com/hellman/a8c9a09b1ce6959226f9d75cf94b805f The integer coeffiients of polys from Coppersmitth are crazy large, so reducing them mod a reasonable power of...
@alexeyignatiev this is sad, PySAT seems to be the only generic python frontend for various SAT solvers. Even without incrementality, just solving SAT and being able to switch the solver...