# We only certify the solutions, since ACL2(r) is necessary for the
# case study input script.  See README.

DIRS = solutions
include ../../../Makefile-subdirs
