testsmt/yinyang

Support for Z3 tactics

Opened this issue · 0 comments

wintered commented

Add support the testing of z3 tactics (and also the ability to test both options and tactics.