/***
 * Bitwuzla: Satisfiability Modulo Theories (SMT) solver.
 *
 * This file is part of Bitwuzla.
 *
 * Copyright (C) 2007-2022 by the authors listed in the AUTHORS file.
 *
 * See COPYING for more information on using this software.
 */

#ifndef BZLANORMADD_H_INCLUDED
#define BZLANORMADD_H_INCLUDED

#include "bzlatypes.h"

void bzla_normalize_adds(Bzla* bzla);

#endif
