Fedora 36 Update: drat-trim-0-0.15.20220212git21296ed.fc36

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-a4479fbabb
2022-04-05 14:26:23.137318
--------------------------------------------------------------------------------

Name        : drat-trim
Product     : Fedora 36
Version     : 0
Release     : 0.15.20220212git21296ed.fc36
URL         : https://github.com/marijnheule/drat-trim
Summary     : Proof checker for DIMACS proofs
Description :
The proof checker DRAT-trim can be used to check whether a
propositional formula in the DIMACS format is unsatisfiable.  Given a
propositional formula and a clausal proof, DRAT-trim validates that the
proof is a certificate of unsatisfiability of the formula.  Clausal
proofs should be in the DRAT format which is used to validate the
results of the SAT competitions.

--------------------------------------------------------------------------------
Update Information:

Changes in this build:  - lrat-check fix - long `RATset`
--------------------------------------------------------------------------------
ChangeLog:

* Mon Mar 28 2022 Jerry James  - 0-0.15.20220212git21296ed
- Update for lrat-check fix
--------------------------------------------------------------------------------

This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-a4479fbabb' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label

All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------