Package | Summary | Distribution | Download |
drat-trim-0-0.24.20240309git89ddbfb.fc41.aarch64.html | Proof checker for DIMACS proofs | Fedora Rawhide for aarch64 | drat-trim-0-0.24.20240309git89ddbfb.fc41.aarch64.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le.html | Proof checker for DIMACS proofs | Fedora Rawhide for ppc64le | drat-trim-0-0.24.20240309git89ddbfb.fc41.ppc64le.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc41.s390x.html | Proof checker for DIMACS proofs | Fedora Rawhide for s390x | drat-trim-0-0.24.20240309git89ddbfb.fc41.s390x.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc41.x86_64.html | Proof checker for DIMACS proofs | Fedora Rawhide for x86_64 | drat-trim-0-0.24.20240309git89ddbfb.fc41.x86_64.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.aarch64.html | Proof checker for DIMACS proofs | Fedora 40 testing updates for aarch64 | drat-trim-0-0.24.20240309git89ddbfb.fc40.aarch64.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.aarch64.html | Proof checker for DIMACS proofs | Fedora 40 for aarch64 | drat-trim-0-0.24.20240309git89ddbfb.fc40.aarch64.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.ppc64le.html | Proof checker for DIMACS proofs | Fedora 40 for ppc64le | drat-trim-0-0.24.20240309git89ddbfb.fc40.ppc64le.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.s390x.html | Proof checker for DIMACS proofs | Fedora 40 for s390x | drat-trim-0-0.24.20240309git89ddbfb.fc40.s390x.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.x86_64.html | Proof checker for DIMACS proofs | Fedora 40 testing updates for x86_64 | drat-trim-0-0.24.20240309git89ddbfb.fc40.x86_64.rpm |
drat-trim-0-0.24.20240309git89ddbfb.fc40.x86_64.html | Proof checker for DIMACS proofs | Fedora 40 for x86_64 | drat-trim-0-0.24.20240309git89ddbfb.fc40.x86_64.rpm |
drat-trim-0-0.21.20230709git16f1d72.fc39.aarch64.html | Proof checker for DIMACS proofs | Fedora 39 for aarch64 | drat-trim-0-0.21.20230709git16f1d72.fc39.aarch64.rpm |
drat-trim-0-0.21.20230709git16f1d72.fc39.i686.html | Proof checker for DIMACS proofs | Fedora 39 for x86_64 | drat-trim-0-0.21.20230709git16f1d72.fc39.i686.rpm |
drat-trim-0-0.21.20230709git16f1d72.fc39.ppc64le.html | Proof checker for DIMACS proofs | Fedora 39 for ppc64le | drat-trim-0-0.21.20230709git16f1d72.fc39.ppc64le.rpm |
drat-trim-0-0.21.20230709git16f1d72.fc39.s390x.html | Proof checker for DIMACS proofs | Fedora 39 for s390x | drat-trim-0-0.21.20230709git16f1d72.fc39.s390x.rpm |
drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64.html | Proof checker for DIMACS proofs | Fedora 39 for x86_64 | drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64.rpm |
drat-trim-0-0.19.20221019gitcbd2915.fc38.aarch64.html | Proof checker for DIMACS proofs | Fedora 38 for aarch64 | drat-trim-0-0.19.20221019gitcbd2915.fc38.aarch64.rpm |
drat-trim-0-0.19.20221019gitcbd2915.fc38.i686.html | Proof checker for DIMACS proofs | Fedora 38 for x86_64 | drat-trim-0-0.19.20221019gitcbd2915.fc38.i686.rpm |
drat-trim-0-0.19.20221019gitcbd2915.fc38.ppc64le.html | Proof checker for DIMACS proofs | Fedora 38 for ppc64le | drat-trim-0-0.19.20221019gitcbd2915.fc38.ppc64le.rpm |
drat-trim-0-0.19.20221019gitcbd2915.fc38.s390x.html | Proof checker for DIMACS proofs | Fedora 38 for s390x | drat-trim-0-0.19.20221019gitcbd2915.fc38.s390x.rpm |
drat-trim-0-0.19.20221019gitcbd2915.fc38.x86_64.html | Proof checker for DIMACS proofs | Fedora 38 for x86_64 | drat-trim-0-0.19.20221019gitcbd2915.fc38.x86_64.rpm |
drat-trim-0-0.18.20221019gitcbd2915.fc37.aarch64.html | Proof checker for DIMACS proofs | Fedora 37 updates for aarch64 | drat-trim-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm |
drat-trim-0-0.18.20221019gitcbd2915.fc37.i686.html | Proof checker for DIMACS proofs | Fedora 37 updates for x86_64 | drat-trim-0-0.18.20221019gitcbd2915.fc37.i686.rpm |
drat-trim-0-0.18.20221019gitcbd2915.fc37.x86_64.html | Proof checker for DIMACS proofs | Fedora 37 updates for x86_64 | drat-trim-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm |
drat-trim-0-0.17.20220423git43fce1c.fc37.aarch64.html | Proof checker for DIMACS proofs | Fedora 37 for aarch64 | drat-trim-0-0.17.20220423git43fce1c.fc37.aarch64.rpm |
drat-trim-0-0.17.20220423git43fce1c.fc37.i686.html | Proof checker for DIMACS proofs | Fedora 37 for x86_64 | drat-trim-0-0.17.20220423git43fce1c.fc37.i686.rpm |
drat-trim-0-0.17.20220423git43fce1c.fc37.ppc64le.html | Proof checker for DIMACS proofs | Fedora 37 for ppc64le | drat-trim-0-0.17.20220423git43fce1c.fc37.ppc64le.rpm |
drat-trim-0-0.17.20220423git43fce1c.fc37.s390x.html | Proof checker for DIMACS proofs | Fedora 37 for s390x | drat-trim-0-0.17.20220423git43fce1c.fc37.s390x.rpm |
drat-trim-0-0.17.20220423git43fce1c.fc37.x86_64.html | Proof checker for DIMACS proofs | Fedora 37 for x86_64 | drat-trim-0-0.17.20220423git43fce1c.fc37.x86_64.rpm |