Package drat2er-tools

Command line interface to drat2er

https://github.com/alex-ozdemir/drat2er/

This package contains a command line interface to drat2er.

General Commands
Command Description
drat2er manual page for drat2er 20190307