Portfolio Solving from 507

gussmith23 / lakeroad-evaluation

MIT License

5 stars 0 forks source link

Closed vcanumalla closed 10 months ago

vcanumalla commented 11 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.