Version submitted to SYNTCOMP24

Several updates, bug fixes, and sleepless nights after, we have a new version of the tool for this year's competition.

Version submitted with CAV24 tool paper

A few updates, bug fixes, and new data structures are included wrt the version used in SYNTCOMP 2023.

Version submitted to SYNTCOMP 2023

syntcomp23

fixed all spurious prints, addressed #27

Version submitted to SYNTCOMP in 2022

Version submitted to SYNTCOMP in 2022

Started coding the actual antichain-using algorithms

v0.1

it compiles now