yinyang icon indicating copy to clipboard operation
yinyang copied to clipboard
verified publisher icon testsmt

Support for Z3 tactics

Open wintered opened this issue 4 years ago • 0 comments

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

wintered avatar May 25 '21 12:05 wintered