informalsystems/modelator

Add CLI command for downloading Apalache jar files

hvanz opened this issue · 0 comments

hvanz commented

A CLI command check-apalache-jar checks whether Apalache's uber jar file is installed, or download it otherwise.