#ifndef _config_h_INCLUDED
#define _config_h_INCLUDED

#include "global.h"
ABC_NAMESPACE_HEADER_START

#ifndef KISSAT_NOPTIONS

void kissat_configuration_usage (void);

#endif
ABC_NAMESPACE_HEADER_END

#endif
