add linux/macos solver