investigate the use of __format__ for Python bindings
Can we use __format__ to more easily customize the way LTL and automata are printed?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Can we use __format__ to more easily customize the way LTL and automata are printed?