Added NeptusSolver.