s9v / CS402-Coursework1 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Any formula to CNF converter and nonogram solver (using minisat)

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
cnf		cnf
minisat		minisat
nonogram		nonogram
README.md		README.md
report.md		report.md
report.pdf		report.pdf

Repository files navigation

CS402-Coursework1

Any formula to CNF converter and nonogram solver (using minisat)

About

Any formula to CNF converter and nonogram solver (using minisat)

Report repository

Releases

No releases published

Packages

No packages published

Languages