Spot 2.6.2
Spot 2.6.1
Spot 2.6
the version of ltlsynt submitted to SYNTCOMP-2018
Spot 2.5.3
Spot 2.5.2
Spot 2.5.1
Spot 2.5
Spot 2.4.4
Spot 2.4.3
Spot 2.4.2
Spot 2.4.1
Spot 2.4
Spot 2.3.5
Spot 2.3.4
Spot 2.3.3