[ol10_u2_developer_EPEL] drat-trim-0-0.25.20240427giteffa1dc.el10_2.aarch64

Name:drat-trim
Version:0
Release:0.25.20240427giteffa1dc.el10_2
Architecture:aarch64
Group:Unspecified
Size:70480
License:MIT
RPM: drat-trim-0-0.25.20240427giteffa1dc.el10_2.aarch64.rpm
Source RPM: drat-trim-0-0.25.20240427giteffa1dc.el10_2.src.rpm
Build Date:Mon Mar 09 2026
Build Host:build-ol10-aarch64.oracle.com
Vendor:Oracle America
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.

Changelog (Show File list) (Show related packages)