lrs (cargo): Library for resolving (conjunctive) normal-form logical clauses
Keywords: logic|resolution-proof|rust