https://zmash.garden https://zmash.garden/solvers https://zmash.garden/frontier https://zmash.garden/launch https://zmash.garden/manual