drat topic

List drat repositories

batsat

31
Stars
4
Forks
Watchers

A (parametrized) Rust SAT solver originally based on MiniSat

verified publisher icon c-cube

cloudyr.github.io

29
Stars
5
Forks
Watchers

the cloudyr project website

verified publisher icon cloudyr

drat

31
Stars
35
Forks
Watchers

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.

verified publisher icon apache