Export MissingSolver
Bugfix in defaultsolvers
Fix tests (default solver capitalization)