Skip to content

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

Notifications You must be signed in to change notification settings

Maaarcocr/validator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published