Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: use reduce_parity()
· c9ddbd0a
Alexandre Duret-Lutz
authored
Jun 19, 2019
* bin/ltlsynt.cc: Here. * tests/core/ltlsynt.test: Adjust.
c9ddbd0a