/*
   * Number of available solutions for problem
   *
   */
  int solutions_count()