GitHub - SunDove/LogicalEquivalences at c93e7b32a99e23bc797207797c0f4c10df9d8fe4

SunDove / LogicalEquivalences Public

AI to solve logical equivalence expressions

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
.gitignore		.gitignore
AST.py		AST.py
BFS.py		BFS.py
BFS_res.json		BFS_res.json
DEP_res.json		DEP_res.json
Heur1.py		Heur1.py
Heuristic.py		Heuristic.py
MLHeuristic.py		MLHeuristic.py
Screen Shot 2018-12-02 at 12.21.34 PM.png		Screen Shot 2018-12-02 at 12.21.34 PM.png
Screen Shot 2018-12-02 at 12.21.39 PM.png		Screen Shot 2018-12-02 at 12.21.39 PM.png
data_anal.py		data_anal.py
depthlimit.json		depthlimit.json
mL_res.json		mL_res.json
main.py		main.py
parser.py		parser.py
test.py		test.py