Skip to content

Improve the SMT translation by translating axiom taclets (mostly for invariants) - #3564

Draft
WolframPfeifer wants to merge 7 commits into
KeYProject:mainfrom
WolframPfeifer:hackeythonSMT
Draft

Improve the SMT translation by translating axiom taclets (mostly for invariants)#3564
WolframPfeifer wants to merge 7 commits into
KeYProject:mainfrom
WolframPfeifer:hackeythonSMT

a bit of cleanup

442abfe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs