Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Display.cpp		Display.cpp
Init.cpp		Init.cpp
Input.cpp		Input.cpp
Main.cpp		Main.cpp
README.md		README.md
Resolution.cpp		Resolution.cpp
graph.dot		graph.dot
head.h		head.h

Repository files navigation

Horn_Resolution

子句归结

About

子句归结

Report repository

Releases

No releases published

Packages

No packages published

Languages

C++ 100.0%