seal5.cli.setup

Command line subcommand for Installing Seal5 dependencies

Functions

add_setup_options(parser)
get_parser(subparsers)	"Define and return a subparser for the setup subcommand.
handle(args)	Callback function which will be called to process the setup subcommand