GitHub - jhanschoo/CDCLSAT

1 Branch 0 Tags

Name	Name	Last commit message	Last commit date
Latest commit jhanschoo reorganize brancher inheritance Apr 28, 2019 dfd62f4 · Apr 28, 2019 History 20 Commits
Einsteins	Einsteins	final work	Apr 28, 2019
graphical	graphical	final	Apr 28, 2019
test	test	final work	Apr 28, 2019
test_suite	test_suite	linux changes	Apr 28, 2019
.gitignore	.gitignore	initial commit	Mar 20, 2019
arbitrary_brancher.py	arbitrary_brancher.py	reorganize brancher inheritance	Apr 28, 2019
assignment.py	assignment.py	linux changes	Apr 28, 2019
brancher.py	brancher.py	reorganize brancher inheritance	Apr 28, 2019
cdcl.py	cdcl.py	reorganize brancher inheritance	Apr 28, 2019
clause.py	clause.py	Merge branch 'master' of github.com:jhanschoo/CDCLSAT	Apr 28, 2019
dominator_sketch.py	dominator_sketch.py	add dominator sketch	Mar 20, 2019
dpll.py	dpll.py	initial commit	Mar 20, 2019
formula.py	formula.py	Merge branch 'master' of github.com:jhanschoo/CDCLSAT	Apr 28, 2019
fuip_analyzer.py	fuip_analyzer.py	final work	Apr 28, 2019
main.py	main.py	final work	Apr 28, 2019
prepend_satisfiability.sh	prepend_satisfiability.sh	add test suite generating files	Mar 24, 2019
propagating_formula.py	propagating_formula.py	linux changes	Apr 28, 2019
randcnf.py	randcnf.py	add test suite generating files	Mar 24, 2019
random_brancher.py	random_brancher.py	reorganize brancher inheritance	Apr 28, 2019
shared_types.py	shared_types.py	initial commit	Mar 20, 2019
test_clause.py	test_clause.py	cdcl type-safe, to test	Mar 21, 2019
test_formula.py	test_formula.py	linux changes	Apr 28, 2019
test_propagating_formula.py	test_propagating_formula.py	cdcl type-safe, to test	Mar 21, 2019
two_choice_brancher.py	two_choice_brancher.py	reorganize brancher inheritance	Apr 28, 2019
verify_cdcl.py	verify_cdcl.py	reorganize brancher inheritance	Apr 28, 2019
vsids_brancher.py	vsids_brancher.py	reorganize brancher inheritance	Apr 28, 2019