Skip to content

Latest commit

 

History

History
26 lines (16 loc) · 794 Bytes

README.md

File metadata and controls

26 lines (16 loc) · 794 Bytes
Raw

PARQ

PARQ is an automatic parallelization engine for array modifying programs specified as a CHC system of constraints.

Installation

Compiles with gcc-7 (on Linux) and clang-1001 (on Mac). Requires GMP, and Boost and armadillo packages to be pre-installed.

  • cd parq ; mkdir build ; cd build
  • cmake ../
  • make to build dependencies (Z3)
  • make (again) to build PARQ

The binary of PARQ can be found at build/tools/parq/.

Run parq --h for the usage information.

The tool prints Success ... if the system is parallelizable.

Benchmarks

PARQ is expected to parallelize the SMT-LIB2 translations of the CHC systems in bench_parq.