/*
 * This file is part of the source code of the software program
 * Vampire. It is protected by applicable
 * copyright laws.
 *
 * This source code is distributed under the licence found here
 * https://vprover.github.io/license.html
 * and in the source directory
 */
/**
 * @file SMTCheck.hpp
 * Routines for producing a ground SMT proof-check script
 */

#include <iosfwd>

#include "Forwards.hpp"

namespace Shell {
namespace SMTCheck {

void outputSignature(std::ostream &out);
void outputStep(std::ostream &out, Kernel::Unit *u);

}
}
