- Download GhostQ zip file (2.1 MB). (Minor update on 2021-01-07 to fix bug affecting long timeout values; minor update on 2020-12-23 to fix compatibility issues with modern compilers; the last major update was 2017-07-26.)
- System description (PDF)
- Example of running GhostQ
(1) better preprocessor support for Plaisted-Greenbaum encoding and XOR/ITE gates, (2) adjustment to stack size (
ulimit -S -s N
) and Python recursion limit, and
(3) the StarExec shell scripts.
GhostQ is distributed under the terms of the GNU GPL v3.