v0.6.0

Compiled binaries and a source snapshot of the gkc version 0.6.0 introducing the JSON syntax option.

Binaries

• gkc is a statically compiled 64-bit executable Linux binary, created on Ubuntu Linux 16.04 using gcc. It should have no dependencies.
• gkc.exe is a 64-bit executable Windows binary, created on Windows 10 using the 2017 Visual Studio C
  community edition command-line tool cl.
• gkc32.exe is a 32-bit executable Windows binary, created on Windows 10 using the 2017 Visual Studio C community edition command-line tool cl.
• gkcosx is a an OS X (macOS) binary, created on macOS Catalina 10.15.4 with the Apple clang version 11.0.3.
• gkcjs.wasm and gkcjs.js are Wasm binaries created by emscripten for running in the browser: see logictools.org.

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.