GitHub - pavel-r-georgiev/tree-search-algorithms: :deciduous_tree: Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences

pavel-r-georgiev / tree-search-algorithms Public

🌳 Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
Main		Main
Sat-dev-test		Sat-dev-test
Sat-test		Sat-test
.gitignore		.gitignore
Makefile		Makefile
Prop.hs		Prop.hs
dpll		dpll
dpllv2		dpllv2
main.hs		main.hs
walksat		walksat

About

🌳 Implementation of tree search algorithms dealing with satisfiability of propositional logic sentences

No releases published

No packages published