GhostQ 2017

• GhostQ (updated 2017-07-26) (2.1 MB).
• System description (PDF)

The 2017 version of GhostQ is unchanged from the 2016 version, except for:
(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.

Back to main GhostQ page