https://github.com/saphereye/logic-proof-parser
C++ implementation of logic-programming
https://github.com/saphereye/logic-proof-parser
cpp logic-programming
Last synced: 11 months ago
JSON representation
C++ implementation of logic-programming
- Host: GitHub
- URL: https://github.com/saphereye/logic-proof-parser
- Owner: Saphereye
- Created: 2022-10-17T17:16:20.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-06-30T12:11:14.000Z (almost 2 years ago)
- Last Synced: 2025-02-04T20:17:46.515Z (over 1 year ago)
- Topics: cpp, logic-programming
- Language: HTML
- Homepage:
- Size: 3.22 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Logic Proof Parser
This project implements a program that verifies whether a logical proof is syntactically and logically correct.
## How to run the program
- `./run_test` : Runs the test in `test.cpp`. Make sure to put `isDebugMode` in `helper.h` as `true`
- `./run_compilation` : Compiles and runs the program with `-Os -Ofast` flags. Make sure to put `isDebugMode` in `helper.h` as `false`
- `./run_profiling` : Runs a `gprof` profiling session and writes the output to `logic.output`. Make sure to put `isDebugMode` in `helper.h` as `false`
## How to access the Docs
- Open `DOX`
- Open `html`
- Open `index.html` file
> This project was made for the course CS F214 (Logic in Computer Science)