rate-sick-check (cargo): Verify SICK certificates of proof incorrectness produced by rate
Keywords: proof-checker|rust|sat-solver|verification