/*  Boolector: Satisfiability Modulo Theories (SMT) solver.
 *
 *  Copyright (C) 2018 Aina Niemetz.
 *
 *  This file is part of Boolector.
 *  See COPYING for more information on using this software.
 */

#ifndef BTORBTOR2_H_INCLUDED
#define BTORBTOR2_H_INCLUDED

#include "btorparse.h"

#include <stdio.h>

const BtorParserAPI* btor_parsebtor2_parser_api ();

#endif
