andrejtokarcik/prism-pse — pull request #2 by Palmik (2014-11-06 10:36:54+00:00)
Title: PSE Speedup (mvMult)

Speedup of mvMult (about 5 times). Benchmarked with `-psecheck` on the signalling model and formulas of the form `'P=? [ F= pop = ]'`.