Skip to content

Implement execution of swine-z3 on SMT2 files - #65

Open
SeRin-Yang wants to merge 43 commits into
moves-rwth:mainfrom
SeRin-Yang:main
Open

Implement execution of swine-z3 on SMT2 files#65
SeRin-Yang wants to merge 43 commits into
moves-rwth:mainfrom
SeRin-Yang:main

Add result_solver to Prover for external solver output

50b1814
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs