{"id":13749320,"url":"https://github.com/Maaarcocr/validator","last_synced_at":"2025-05-09T12:32:48.107Z","repository":{"id":128757778,"uuid":"77141550","full_name":"Maaarcocr/validator","owner":"Maaarcocr","description":"Small utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas ","archived":false,"fork":false,"pushed_at":"2017-05-10T19:19:00.000Z","size":6369,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-05-22T22:33:07.565Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Maaarcocr.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2016-12-22T12:08:38.000Z","updated_at":"2016-12-22T12:13:17.000Z","dependencies_parsed_at":"2023-08-25T03:38:10.013Z","dependency_job_id":null,"html_url":"https://github.com/Maaarcocr/validator","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2Fvalidator","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2Fvalidator/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2Fvalidator/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Maaarcocr%2Fvalidator/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Maaarcocr","download_url":"https://codeload.github.com/Maaarcocr/validator/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224863108,"owners_count":17382279,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-08-03T07:00:59.306Z","updated_at":"2024-11-16T00:30:27.062Z","avatar_url":"https://github.com/Maaarcocr.png","language":"Rust","funding_links":[],"categories":["Propositional logic"],"sub_categories":["Libraries"],"readme":"# validator\nSmall utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas \n\n## How to use it\nClone the git and move the .sh script with the bin folder into the folder where your theorem prover is.  \nRename the theorem prover executable: \n    \n    prover\n    \nRun the .sh script with: \n\n    sh validator.sh\n    \n## NB\nNow this works on macOS too, thanks to Sadir!\nIf 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!).\n## Bugs\nIf you encounter any bug, please let me know by creating an issue in this repo.\n    \n    \n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FMaaarcocr%2Fvalidator","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FMaaarcocr%2Fvalidator","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FMaaarcocr%2Fvalidator/lists"}