#ifndef MINOR_H_INCLUDED
#define MINOR_H_INCLUDED

#include "boolector.h"

BoolectorNode *btor_minor (Btor *btor,
                           BoolectorNode *a_in,
                           BoolectorNode *b_in,
                           BoolectorNode *c_in,
                           BoolectorNode *d_in,
                           BoolectorNode *m_in,
                           int num_bits);

#endif