Skip to content

prompto416/n-queens-problem-backtracking-with-propositional-logic-and-python-graphic

Repository files navigation

N-Queens-Problem-with-propositional-logic

ask for input

**display backtracking results with finalized CNF answer for propositional logic and tautology

About

N Queens SAT problem solving with restricted propositional logic python coding

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages