sudo -u postgres -i sh -c "dropdb ag_gen" || true
sudo -u postgres -i sh -c "createdb ag_gen ag_gen"
psql ag_gen < schema.sql
./ag_gen -n ../car_examples/generic_timeline_maintenance.nm -x ../car_examples/generic_timeline_maintenance.xp -g DOTFILE.dot -t 1 -q 1
# python3 ../tools/color_code.py ../build/states.txt DOTFILE.dot new.dot
#dot -Tsvg new.dot > ag.svg
dot -Tsvg DOTFILE.dot > ag.svg