/PARQ

PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.

Primary LanguageSMTOtherNOASSERTION

No issues in this repository yet.