# Copy the source files to the balance
rcp init skolem cnf mini7 match support \
    sup2 clause resolve demod unsk goa gob data2 balance:prolog/const/
