Linux Standalone Solver