Bram-Hub / DPTrees Public

forked from rishig34/DPTrees

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Draw trees using Davis-Putnam Algorithm

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
DPTrees.py		DPTrees.py
README.md		README.md
README.txt		README.txt
User Instructions.pdf		User Instructions.pdf
clause_set.cpp		clause_set.cpp
davis_putnam.h		davis_putnam.h
dp.exe		dp.exe
full_statement.cpp		full_statement.cpp
main.cpp		main.cpp
statement.cpp		statement.cpp

Repository files navigation

DPTrees

This program draws trees using Davis-Putnam Algorithm

About

Draw trees using Davis-Putnam Algorithm

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 75.9%
Python 24.1%