Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
satmin.org
Find file
Blame
History
Permalink
org: simplify calls to ltl2dstar
· 1b3054d8
Alexandre Duret-Lutz
authored
Jun 16, 2015
* doc/org/satmin.org: Here.
1b3054d8