Extra dependency requird: python-matplotlib
You can also comment out the import and all plotting code to eliminate this dependency.
To run: python main.py
To create a new cnf expression dataset: python cnf_generator.py
-
Notifications
You must be signed in to change notification settings - Fork 0
rcr2f/ECEN5139_Project
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Simple Boolean SAT Solver
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published