·
5 commits
to stable
since this 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.