#!/bin/bash

for FILE in $(find ./problems-onevar -name cadtree.gml); do
    ./gml-to-red.py $FILE
done

rm -rf assignments
mkdir -p assignments
mv assignment-*.red assignments

rm -rf problems-assignments
./generate-problems-assignments.py

./compute-all.sh --xml --csl --keep $trunk problems-assignments/ 32
