search

gussmith23 / lakeroad

FPGA synthesis tool powered by program synthesis
MIT License
37 stars 6 forks source link

Add pp-elim-extracts to Bitwuzla options #353

Open gussmith23 opened 1 year ago

gussmith23 commented 1 year ago

We're removing it from the default command line arguments in https://github.com/emina/rosette/pull/260

gussmith23 commented 11 months ago

@vcanumalla @ninehusky this is a good flag to add to the portfolio solver for your 507 project!