Fix all warnings
Add a Phase class, which contains a generic IDA* solver