GitHub - hgvk94/CHB-in-minisat: An implementation of the CHB branching heuristic in minisat.

hgvk94 / CHB-in-minisat Public

An implementation of the CHB branching heuristic in minisat.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
core		core
doc		doc
mtl		mtl
simp		simp
utils		utils
.gitignore		.gitignore

About

An implementation of the CHB branching heuristic in minisat.

No releases published

No packages published