Improve the performance of Sat attack #19
Description
The current Sat attack implementation uses Minisat provided by Yosys. It is quite limited compared to a more advanced Sat solver
{{ message }}
The current Sat attack implementation uses Minisat provided by Yosys. It is quite limited compared to a more advanced Sat solver