drat

A (parametrized) Rust SAT solver originally based on MiniSat

A distributed, parallelized (Map Reduce) wrapper around Apache RAT™ to allow it to complete on large code repositories of multiple file types where Apache RAT™ hangs forever.

the cloudyr project website

drat repository for nightly builds of ropensci packages and common dependencies

📦 📦 📦 Carpentries R Packages

drat2er: Proof Transformer for Propositional Logic

DRAT on OntoSoft code repositories

Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.

A drat repository for R Package releases including the R COBOL Data Integration (rcoboldi) and R Bitcoincharts.com API packages (rbitcoinchartsapi).

Automatic CD by pushing packages to drat repos

Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for where SAT hardness lives.

An almost-efficient implementation of a DRAT proof checker for validating unsatisfiability proofs of SAT instances in Rust.

kissat 4.0.4 fork emitting VeriPB 3.0 proofs natively — verified end-to-end via veripb 3.0.2 + cake_pb

A repository with R packages created and maintained by INBO

A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.

Portable, independently re-derivable logic-equivalence receipts — DRAT checking with zero dependencies

Krishnamurthy Lab's DRAT (CRAN-like) repository

Explicit group-invariant colourings improving three lower bounds in section 7.1(a) of the dynamic survey Small Ramsey Numbers: R(4,4,4;3) >= 84, R(4,6;3) >= 64, R(5,5;4) >= 36

Certified proof frontier for K_2(11,3): 112/150 normalized and 324/350 selected branch closures; the exact value remains open.