Skip to content

Latest binary

Choose a tag to compare

View all tags
@andreaskatis andreaskatis released this 28 Sep 14:23
1.8
728a435

New fixpoint implementation for realizability checking based on Z3 quantifier elimination tactics. Many thanks to Daniel Larraz and Stanly Samuel for the fruitful discussions.

Assets 6
Loading