Implement more options
Test SolverApp