The compiled Linux binary and a source snapshot of the gkc version 0.8.0 for the CASC 2023 competition http://www.tptp.org/CASC/29/
You may want to use the previous release 0.6.0 for non-competition purposes: it includes MacOS and Windows binaries, matches the tutorial and is a basis for http://logictools.org.
Binaries
gkcis a statically compiled 64-bit executable Linux binary, created on Ubuntu Linux 20 using gcc 9.4. It should have no dependencies.
Running gkc
Simplest way to run:
./gkc problem_file_name
Example:
./gkc Examples/steam.p
In order to select options and strategies, run gkc as
./gkc problem_file_name strategy_file_name
Please see
- Examples/README.md in https://github.com/tammet/gkc for a detailed tutorial with examples.
- README.md https://github.com/tammet/gkc for a brief overview and compilation guides.