@comment $NetBSD$
bin/dve2lts-dist
bin/dve2lts-mc
bin/dve2lts-seq
bin/dve2lts-sym
bin/dve2torx
bin/etf2lts-dist
bin/etf2lts-mc
bin/etf2lts-seq
bin/etf2lts-sym
bin/etf2torx
bin/gcf
bin/ltl2ba
bin/ltsmin-compare
bin/ltsmin-convert
bin/ltsmin-printtrace
bin/ltsmin-reduce
bin/opaal2lts-mc
bin/pins2lts-dist
bin/pins2lts-mc
bin/pins2lts-seq
bin/pins2lts-sym
bin/pins2torx
bin/pnml2lts-dist
bin/pnml2lts-mc
bin/pnml2lts-seq
bin/pnml2lts-sym
bin/prom2lts-dist
bin/prom2lts-mc
bin/prom2lts-seq
bin/prom2lts-sym
bin/prom2torx
bin/spgsolver
bin/spins
include/ltsmin/bitvector.h
include/ltsmin/chunk_support.h
include/ltsmin/chunk_table_factory.h
include/ltsmin/dlopen-api.h
include/ltsmin/dm.h
include/ltsmin/feedback.h
include/ltsmin/lts-type.h
include/ltsmin/ltsmin-standard.h
include/ltsmin/pins-util.h
include/ltsmin/pins.h
include/ltsmin/string-map.h
include/ltsmin/tables.h
man/man1/ce-mpi.1
man/man1/dve2lts-dist.1
man/man1/dve2lts-mc.1
man/man1/dve2lts-seq.1
man/man1/dve2lts-sym.1
man/man1/dve2torx.1
man/man1/etf-convert.1
man/man1/etf2lts-dist.1
man/man1/etf2lts-mc.1
man/man1/etf2lts-seq.1
man/man1/etf2lts-sym.1
man/man1/etf2torx.1
man/man1/gcf.1
man/man1/lpo2lts-dist.1
man/man1/lpo2lts-mc.1
man/man1/lpo2lts-seq.1
man/man1/lpo2lts-sym.1
man/man1/lpo2torx.1
man/man1/lps2lts-dist.1
man/man1/lps2lts-mc.1
man/man1/lps2lts-seq.1
man/man1/lps2lts-sym.1
man/man1/lps2torx.1
man/man1/ltsmin-compare.1
man/man1/ltsmin-convert.1
man/man1/ltsmin-printtrace.1
man/man1/ltsmin-reduce-dist.1
man/man1/ltsmin-reduce.1
man/man1/mapa2lts-dist.1
man/man1/mapa2lts-sym.1
man/man1/opaal2lts-mc.1
man/man1/pbes2lts-dist.1
man/man1/pbes2lts-mc.1
man/man1/pbes2lts-seq.1
man/man1/pbes2lts-sym.1
man/man1/pins-open.1
man/man1/pins2lts-dist.1
man/man1/pins2lts-mc.1
man/man1/pins2lts-seq.1
man/man1/pins2lts-sym.1
man/man1/pins2torx.1
man/man1/pnml2lts-dist.1
man/man1/pnml2lts-mc.1
man/man1/pnml2lts-seq.1
man/man1/pnml2lts-sym.1
man/man1/prob2lts-dist.1
man/man1/prob2lts-mc.1
man/man1/prob2lts-seq.1
man/man1/prob2lts-sym.1
man/man1/prom2lts-dist.1
man/man1/prom2lts-mc.1
man/man1/prom2lts-seq.1
man/man1/prom2lts-sym.1
man/man1/prom2torx.1
man/man1/spgsolver.1
man/man1/spins.1
man/man5/etf.5
man/man5/ltsmin-ctl.5
man/man5/ltsmin-ltl.5
man/man5/ltsmin-mu.5
man/man5/ltsmin-mucalc.5
man/man5/ltsmin-pred.5
man/man5/ltsmin-type-system.5
man/man7/ltsmin.7
share/doc/ltsmin/AUTHORS
share/doc/ltsmin/CODING-STANDARDS
share/doc/ltsmin/COPYING
share/doc/ltsmin/README.md
