https://github.com/Maaarcocr/validator

Small utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas
https://github.com/Maaarcocr/validator

Last synced: 3 months ago
JSON representation

Small utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas

• Host: GitHub
• URL: https://github.com/Maaarcocr/validator
• Owner: Maaarcocr
• Created: 2016-12-22T12:08:38.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-05-10T19:19:00.000Z (over 7 years ago)
• Last Synced: 2024-05-22T22:33:07.565Z (6 months ago)
• Language: Rust
• Size: 6.07 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - validator - small utility to test a propositional logic theorem prover. (Propositional logic / Libraries)

README

        
# validator

Small utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas 

## How to use it

Clone the git and move the .sh script with the bin folder into the folder where your theorem prover is.  

Rename the theorem prover executable: 

    

    prover

    

Run the .sh script with: 

    sh validator.sh

    

## NB

Now this works on macOS too, thanks to Sadir!

If you are on windows, you may want to compile it yourself (if you do, please send me the compiled files, so that I can upload them here!).

## Bugs

If you encounter any bug, please let me know by creating an issue in this repo.