This repository was archived by the owner on Jul 1, 2020. It is now read-only.
404 - page not found
The
master
branch ofprop-pack
does not contain the pathproblems/basic/basic-2.tptp.
master
branch ofprop-pack
does not contain the pathproblems/basic/basic-2.tptp.