#ifndef DECTOBIN_H
#define DECTOBIN_H
#include "implicants.h"

char *dectobin (literals_t dec, char *bin);

#endif