ily666666/Resolution-Principle
Implement of resolution principle, offer automatic machine reasoning, programming by C++ language.
C++GPL-3.0
No issues in this repository yet.
Implement of resolution principle, offer automatic machine reasoning, programming by C++ language.
C++GPL-3.0
No issues in this repository yet.