config.h

Go to the documentation of this file.

#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