- Implements a cleaner utility of temp files and a decorator to force the cleaning
- Adds marker interface for subset minimal solvers
- Raise IOError if an encoding file doesn't exists
- Adds metasp encodings
- Register metasp encodings
- Add marker interfaces to solvers