The source distribution of veriT includes documentation in LaTeX, man and HTML format. You can here download this documentation in PDF format for the veriT solver and for the stand-alone librv library.