char ch_cap ( char ch );
bool ch_eqi ( char ch1, char ch2 );
bool ch_is_space ( char c );
bool cnf_data_read ( char *cnf_file_name, int v_num, int c_num, 
  int l_num, int l_c_num[], int l_val[] );
bool cnf_data_write ( int c_num, int l_num, int l_c_num[], int l_val[], 
  ofstream &output_unit );
bool cnf_evaluate ( int v_num, int c_num, int l_num, int l_c_num[], int l_val[], 
  bool v_val[] );
bool cnf_header_read ( char *cnf_file_name, int *v_num, int *c_num, 
  int *l_num );
bool cnf_header_write ( int v_num, int c_num, char *output_name, 
  ofstream &output_unit );
void cnf_print ( int v_num, int c_num, int l_num, int l_c_num[], int l_val[] );
bool cnf_write ( int v_num, int c_num, int l_num, int l_c_num[], int l_val[], 
  char *output_name );
int i4_power ( int i, int j );
void lvec_next ( int n, bool lvec[] );
void s_adjustl ( char *s );
void s_blanks_delete ( char *s );
bool s_eqi ( char *s1, char *s2 );
int s_len_trim ( char *s );
int s_to_i4 ( char *s, int *last, bool *error );
char *s_word_extract_first ( char *s );
void timestamp ( void );