GitHub repository: tani/solv
Primary language: Prolog
Description: IPC/CPC theorem prover in Prolog