Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
ltsmin
ltsmin.cc
Find file
Blame
History
Permalink
Twacube must share the order of atomic propositions
· 2389ab5b
Etienne Renault
authored
Sep 28, 2016
* spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh, tests/ltsmin/modelcheck.cc: here.
2389ab5b