tptp/examples/competitions/sat-solver-competition at master · leoprover/tptp · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
problems		problems
definition.py		definition.py
howto.tex		howto.tex