get rid of auto_ptr, it's deprecated
There is at least one use of auto_ptr in ltl2tgba_fm.cc. gcc 5.0 warns about it.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
There is at least one use of auto_ptr in ltl2tgba_fm.cc. gcc 5.0 warns about it.