GitHub repository: lukaskurz/rebyre
Primary language: Go
Created: 2020-10-21T19:21:56Z
Description: Tool to do a refutation by resolution on a proposition in CNF