Portfolio Solving from 507

uwsampl / lakeroad-evaluation

MIT License

5 stars 0 forks source link

Closed vcanumalla closed 6 months ago

vcanumalla commented 6 months ago

This PR adds Yices2, STP, as well as some flags for CVC5 to the portfolio solving.

Manifest.yml is the only file that has really been modified, as well as any run-on effects.