GitHub repository: Asylumrunner/CS4365_Resolution
Primary language: Java
Description: A Java-based theorem prover for clausal logic