Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbaalgos/emptiness.cc (print_tgba_run): Output the
· 908b6129
Alexandre Duret-Lutz
authored
Nov 09, 2004
labels as formulae rather than bdd sets.
908b6129
To find the state of this project's repository at the time of any of these versions, check out
the tags
.