├── COPYING ├── EXAMPLES ├── PUZ001+1.p ├── PUZ001-1.p ├── PUZ002-1.p └── PUZ003-1.p ├── Makefile ├── PyRes-1.0.html ├── README ├── clauses.py ├── clausesets.py ├── derivations.py ├── eqaxioms.py ├── fofspec.py ├── formulacnf.py ├── formulas.py ├── heuristics.py ├── idents.py ├── indexing.py ├── lexer.py ├── literals.py ├── litselection.py ├── matching.py ├── pyres-cnf.py ├── pyres-fof.py ├── pyres-simple.py ├── rescontrol.py ├── resolution.py ├── saturation.py ├── signature.py ├── simplesat.py ├── starexec_run_PyRes_default ├── starexec_run_PyRes_default_ni ├── substitutions.py ├── subsumption.py ├── terms.py ├── unification.py └── version.py /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/COPYING -------------------------------------------------------------------------------- /EXAMPLES/PUZ001+1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/EXAMPLES/PUZ001+1.p -------------------------------------------------------------------------------- /EXAMPLES/PUZ001-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/EXAMPLES/PUZ001-1.p -------------------------------------------------------------------------------- /EXAMPLES/PUZ002-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/EXAMPLES/PUZ002-1.p -------------------------------------------------------------------------------- /EXAMPLES/PUZ003-1.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/EXAMPLES/PUZ003-1.p -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/Makefile -------------------------------------------------------------------------------- /PyRes-1.0.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/PyRes-1.0.html -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/README -------------------------------------------------------------------------------- /clauses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/clauses.py -------------------------------------------------------------------------------- /clausesets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/clausesets.py -------------------------------------------------------------------------------- /derivations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/derivations.py -------------------------------------------------------------------------------- /eqaxioms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/eqaxioms.py -------------------------------------------------------------------------------- /fofspec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/fofspec.py -------------------------------------------------------------------------------- /formulacnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/formulacnf.py -------------------------------------------------------------------------------- /formulas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/formulas.py -------------------------------------------------------------------------------- /heuristics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/heuristics.py -------------------------------------------------------------------------------- /idents.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/idents.py -------------------------------------------------------------------------------- /indexing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/indexing.py -------------------------------------------------------------------------------- /lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/lexer.py -------------------------------------------------------------------------------- /literals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/literals.py -------------------------------------------------------------------------------- /litselection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/litselection.py -------------------------------------------------------------------------------- /matching.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/matching.py -------------------------------------------------------------------------------- /pyres-cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/pyres-cnf.py -------------------------------------------------------------------------------- /pyres-fof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/pyres-fof.py -------------------------------------------------------------------------------- /pyres-simple.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/pyres-simple.py -------------------------------------------------------------------------------- /rescontrol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/rescontrol.py -------------------------------------------------------------------------------- /resolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/resolution.py -------------------------------------------------------------------------------- /saturation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/saturation.py -------------------------------------------------------------------------------- /signature.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/signature.py -------------------------------------------------------------------------------- /simplesat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/simplesat.py -------------------------------------------------------------------------------- /starexec_run_PyRes_default: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/starexec_run_PyRes_default -------------------------------------------------------------------------------- /starexec_run_PyRes_default_ni: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/starexec_run_PyRes_default_ni -------------------------------------------------------------------------------- /substitutions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/substitutions.py -------------------------------------------------------------------------------- /subsumption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/subsumption.py -------------------------------------------------------------------------------- /terms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/terms.py -------------------------------------------------------------------------------- /unification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/unification.py -------------------------------------------------------------------------------- /version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eprover/PyRes/HEAD/version.py --------------------------------------------------------------------------------