Aesop proofs and z3

Stream: new members

[Michael Bucko]

I have a bunch of z3 and Vampire scripts. Assuming I get a bunch of SMT-LIB proofs, how can I use Aesop to search for alternative proof paths? Can it attempt to find minimal or different sets of assumptions?