This is a small piece of Python to generate random 2-sat formulas and test them for satisfiability. Depends on networkx for the graph implementation.
Released under BSD 3-clause license.
-
Notifications
You must be signed in to change notification settings - Fork 1
adrianN/2Sat
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A solver for 2-sat formulas
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published