Implement execution of swine-z3 on SMT2 files#65

Open

SeRin-Yang wants to merge 2 commits intomoves-rwth:mainfrom SeRin-Yang:main

+126-17

Commits on Feb 11, 2025

Implement execution of swine-z3 on SMT2 files

Se Rin Yang
authored and
Se Rin Yang
committed

Commits on Feb 24, 2025

Add SolverType and CommandError enums, update execute_swine and check_proof_assuming functions
SeRin-Yang
committed