Command line programm for creating, composing and solving logical formulas.
The available documentation can be found in our wiki.
Command line programm for creating, composing and solving logical formulas.
License
Zabuzard/BoolShell
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Command line programm for creating, composing and solving logical formulas.
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published