Enhanced Paar 2022 Workshop Release

Changes:

• Quapify: Simplify command line use with more messages.
• Quapify: Add some new printing features (see -h).
• Quapify: Support solving without adding assumptions
• QuAPI: Add Zero-Copy support for big formulas as compile time
  option. Enable using -DENABLE_ZEROCOPY with cmake.
• QuAPI: Add ZLib function injection support, so that Minisat works.
• QuAPI: Add error for when not compiling on Linux (as only
  Linux is supported currently).
• QuAPI: Add error message for when read() injection didn't work.
• QuAPI: Remove strict requirement for PCRE2. Builds now also work
  without the library being installed, but parsing a solver's
  stdout is disabled if PCRE2 support is not compiled in. QuAPI exits
  if one tries to use regular expressions without PCRE2.
• General: Add some scripts for running on slurm clusters.

Paar 2022 Workshop Release

paar2022

paar2022