# Requires numpy and z3.
test:
	./generate-autoscale.py 4 pddl
