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.

qcomp19-final

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

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

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