This project makes use of a logical agent that takes two logical statements and resolves it. It was tested in Junit to see if the resolution algorithms worked.
-
Notifications
You must be signed in to change notification settings - Fork 0
Alwin224/ResolutionEngine_LogicalAgent
About
This project makes use of a logical agent that takes a logical statement and resolves it.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published