Our source code has 2 main components to it. A solver for the crowded chessboard puzzle using boolean satisfiability, and one without boolean satisfiability. In order to use the pysatsolver.py, pysat is required for the functionlity of the program. It is downloadable through the pysat website: https://pypi.org/project/pysat/
-
Notifications
You must be signed in to change notification settings - Fork 0
draketmoore/crowded-chessboard-solver
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published