Save PRISM results as .dot files and convert and save them as pngs

[Rezenders]

prism prism/l1_l36.prism -pf 'R{"energy"}max=? [ F stop ]' -exportstrat l1_l36_max.dot:type=dot -const INITIAL_BATTERY=32560,INITIAL_LOCATION=0,TARGET_LOCATION=4,INITIAL_CONFIGURATION=1

Convert to .png with graphviz

dot -Tpng l1_l36_max.dot -o l1_l36_max.png