GitHub repository: sazare/cheaplogic
Primary language: Julia
Created: 2018-05-13T12:09:06Z
Description: resolution based prover finding all proofs