Giters

Joshua27 / BSynthesis

Repair and Generation of Formal Models Using Synthesis (User Interface)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use ProB or Z3

Joshua27 opened this issue · comments

commented

Add an option to switch between using ProB or Z3