
37 Blocked Literal Elimination and minor fixes
35 Includes QRAT proof generation and partial assignments
31 First publically released version 
