#include <proof.h>
Definition at line 27 of file proof.h.
Definition at line 29 of file proof.h.
References CVC4::options::out.