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

DRAT on OntoSoft code repositories

drat2er: Proof Transformer for Propositional Logic

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).

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.

Automatic CD by pushing packages to drat repos

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

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

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

A Cross-platform (Andorid / IOS) Group Chat App with Firebase

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

Beta Versions of my R Packages

Exact construction and certification of a 1,435-vertex Moser-spindle-free 5-chromatic unit-distance graph, improving the audited 1,441-vertex benchmark.