Another alternative DRAT checker.

Currently only supports forward DRUP checking.

To build use

  ./configure && make

or see './configure -h' for more configuration options.

Armin Biere
Fri Jul  3 21:00:54 CEST 2015