ex5_enum.c

Go to the documentation of this file.

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <assert.h>
#include <stdbool.h>
#include <time.h>
#include <limits.h>
#include <errno.h>

#include "mshell.h" 
#include "bip_enum.h"

int main(int argc, const char** argv) 
{
   if (argc < 2)
   {
      fprintf(stderr, "usage: %s filename", argv[0]);
      return EXIT_FAILURE;
   }
   bip_init();
   
   BIP* bip = bip_read(argv[1]);

   if (NULL == bip)
      return EXIT_FAILURE;

   bip_print(bip, stdout);
   
   printf("%d solutions\n", bip_enumerate(bip, true));

   bip_free(bip);

   mem_maximum(stdout);
   
   return EXIT_SUCCESS;
}