improve bindings for counterexample output
This is ugly:
res = spot.couvreur99(automaton).check()
if res:
run = res.accepting_run()
s = spot.ostringstream()
spot.print_tgba_run(s, run)
print(s.str())tgba is a relic. Using ostringstream is not Pythonic.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information