moosic-yosys-plugin
moosic-yosys-plugin copied to clipboard
Published
10 months ago
•
Coloquinte
Coloquinte
Improve the performance of Sat attack
The current Sat attack implementation uses Minisat provided by Yosys. It is quite limited compared to a more advanced Sat solver
