Initial commit with dummy solver