Standalone Solver