https://github.com/philzook58/pyres-wrapper
Wrapper to install PyRes as library and executables
https://github.com/philzook58/pyres-wrapper
Last synced: 3 months ago
JSON representation
Wrapper to install PyRes as library and executables
- Host: GitHub
- URL: https://github.com/philzook58/pyres-wrapper
- Owner: philzook58
- Created: 2023-12-29T14:20:52.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-12-29T14:38:43.000Z (almost 2 years ago)
- Last Synced: 2025-02-26T01:45:27.738Z (7 months ago)
- Size: 1000 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# PyRes-wrapper
PyRes is a simple python resolution theorem prover for first order logic. This is a wrapper to pip install it as a python package. See
Installation
```bash
git submodule init
git submodule update
python3 -m pip install -e .
```
Execution
```bash
python3 -m PyRes.pyres-fof -tifbp -HPickGiven5 -nlargest PyRes/EXAMPLES/PUZ001+1.p
```