Swiss AbsSynthe v2.1

This is the version of AbsSynthe submitted to participate in SYNTCOMP 2017.

Swiss AbsSynthe v2.0

This is the version of AbsSynthe which competed in the 2016 SYNTCOMP and won both parallel tracks for the safety circuit specification tracks.

Swiss-AbsSynthe

SYNTCOMP'15 ready version of our native implementation of AbsSynthe

AbsSynthe version prepared for SYNT workshop submission

2.1

changed SYNT md

AbsSynthe: New compositional algorithms for extended aiger specs

This is the version of AbsSynthe prepared for CAV 2015 and our submission of the paper "Compositional Synthesis from AIG Specifications".