GitHub - gabstancu/ThQBF: A simple search-based solver with QCDCL and Cube Learning for QBF (thesis project code).

Name		Name	Last commit message	Last commit date
Latest commit History 96 Commits
include		include
qdimacs_instances		qdimacs_instances
src		src
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md
lonsing-gen.qdimacs		lonsing-gen.qdimacs
main.cpp		main.cpp
solve		solve