-
syntcomp2018-submission
the version of ltlsynt submitted to SYNTCOMP-2018
-
syntcomp2022-submission
This is the version of Spot that was submitted to SyntComp'22
the version of ltlsynt submitted to SYNTCOMP-2018
This is the version of Spot that was submitted to SyntComp'22