syntcomp2022-submission
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz
@adl
6dd99e04 · to_parity: Rewrite the function and add new transformations · 
This is the version of Spot that was submitted to SyntComp'22