lakeroad icon indicating copy to clipboard operation
lakeroad copied to clipboard

Published 20 hours ago • verified publisher icon uwsampl

Add tests that use Yices2

Open gussmith23 opened this issue 1 year ago • 0 comments

Currently, only bitwuzla, cvc5, and stp are tested by our tests.

gussmith23 avatar Dec 14 '23 23:12 gussmith23