Closed med-dee closed 5 months ago
it would be interesting to have attacks such as the SAT attack at least.
Agreed. That's likely something we will do at some point, but if anyone wants to contribute they are most welcome.
A basic Sat attack is now available with the ll_sat_attack command.
ll_sat_attack
it would be interesting to have attacks such as the SAT attack at least.