GitHub / benjaminkiesl / drat2er
drat2er: Proof Transformer for Propositional Logic
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/benjaminkiesl%2Fdrat2er
Stars: 1
Forks: 2
Open issues: 0
License: mit
Language: C++
Size: 906 KB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: over 3 years ago
Pushed at: over 3 years ago
Last synced at: about 2 years ago
Topics: drat, drat2er, extended-resolution, proofs, sat, sat-solver
Loading...