Giters
Marijn Heule (marijnheule)

marijnheule

Geek Repo

92

followers

0

following

9

stars

Company:Carnegie Mellon University

Location:Pittsburgh

Github PK Tool:Github PK Tool

Marijn Heule's starred repositories

tassat

Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0

gimsatul

Language:CLicense:MITStargazers:32Issues:0Issues:0

kissat

Language:CLicense:MITStargazers:451Issues:0Issues:0

rate

DRAT/DPR proof checker

Language:RustLicense:MITStargazers:9Issues:0Issues:0

drat2er

drat2er: Proof Transformer for Propositional Logic

Language:C++License:MITStargazers:1Issues:0Issues:0

Keller

Resolving Keller's conjecture

Language:FortranLicense:MITStargazers:2Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:373Issues:0Issues:0

grit

certified and uncertified checkers for the General ResolutIon Trace format

Language:CStargazers:2Issues:0Issues:0

drat-trim

The DRAT-trim proof checker

Language:CLicense:MITStargazers:50Issues:0Issues:0