qcomp20-final

This is the final version used for participation in QComp 2020.

See: http://qcomp.org/competition/2020/index.html

This is essentially the same as the public release PRISM 4.6.