https://github.com/dandoh/boolcheck

Check if a boolean formula is valid or satisfiable
https://github.com/dandoh/boolcheck

Last synced: 7 days ago
JSON representation

Check if a boolean formula is valid or satisfiable

• Host: GitHub
• URL: https://github.com/dandoh/boolcheck
• Owner: dandoh
• Created: 2019-09-16T04:35:53.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-29T16:01:08.000Z (almost 5 years ago)
• Last Synced: 2024-10-31T17:26:51.224Z (about 2 months ago)
• Language: HTML
• Homepage: https://dandoh.github.io/BoolCheck
• Size: 142 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

        
# BoolCheck

Check if a formula is valid or falsifiable

![screenshot](screenshot.png)