Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltlfilt.cc
Find file
Blame
History
Permalink
Adding option to filter by number of atomic propositions in ltlfilt.
· 24d60edc
Thibaud Michaud
authored
Oct 16, 2014
and
Alexandre Duret-Lutz
committed
Nov 14, 2014
* src/bin/ltlfilt.cc: Add --ap=N option.
24d60edc