Skip to content
GitLab
Explore
Sign in
Spot
Spot
Tags
syntcomp2022-submission
syntcomp2022-submission
Alexandre Duret-Lutz
@adl
6dd99e04
·
to_parity: Rewrite the function and add new transformations
·
Jul 07, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
This is the version of Spot that was submitted to SyntComp'22