Skip to content

Python program

Jump to bottom
areivaX edited this page May 4, 2017 · 5 revisions

Transforming a trace format file into prolog code

Fixed a couple bugs, updated the program to output the right format for the focused prover! Latest version is in my prolog workspace, in convertTrace.py

  • Unforseen issue: on problems larger than pigeonhole6, I get maximum recursion depth exceeded error. I see on some answers online that I might be able to resolve this by increasing the recursion depth, but I should also consider whether it might be bad code to begin with.

Clone this wiki locally