67 lines
1.7 KiB
C
67 lines
1.7 KiB
C
/*
|
|
* Copyright (C) 2022 Camden Dixie O'Brien
|
|
*
|
|
* This program is free software: you can redistribute it and/or modify
|
|
* it under the terms of the GNU Affero General Public License as
|
|
* published by the Free Software Foundation, either version 3 of the
|
|
* License, or (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Affero General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Affero General Public
|
|
* License along with this program. If not, see
|
|
* <https://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "solve.h"
|
|
#include "sud.h"
|
|
|
|
#include <fcntl.h>
|
|
#include <stdint.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <sys/mman.h>
|
|
#include <unistd.h>
|
|
|
|
#define FNAME "puzzles"
|
|
#define FSIZE 729000000U
|
|
#define NSUD (FSIZE / NCELLS)
|
|
|
|
int main(void)
|
|
{
|
|
int fd = open(FNAME, O_RDONLY);
|
|
if (fd == -1) {
|
|
fputs("Failed to open puzzles file\n", stderr);
|
|
return EXIT_FAILURE;
|
|
}
|
|
|
|
char *buf = mmap(NULL, FSIZE, PROT_READ, MAP_PRIVATE, fd, 0);
|
|
if (buf == MAP_FAILED)
|
|
fputs("Failed to mmap() puzzle file\n", stderr);
|
|
|
|
close(fd);
|
|
|
|
struct sudoku sud;
|
|
unsigned solved = 0;
|
|
for (unsigned i = 0; i < NSUD; ++i) {
|
|
if (!load(&sud, buf + (NCELLS * i))) {
|
|
fputs("Failed to load sudoku\n", stderr);
|
|
return EXIT_FAILURE;
|
|
}
|
|
if (solve(&sud) == -1) {
|
|
fprintf(stderr, "Solver error on sudoku #%u\n", i);
|
|
return EXIT_FAILURE;
|
|
}
|
|
if (filled(&sud))
|
|
++solved;
|
|
}
|
|
|
|
double solved_pc = 1e2 * (double)solved / (double)NSUD;
|
|
printf("Solved %u/%u (%.3lf%%)\n", solved, NSUD, solved_pc);
|
|
|
|
return EXIT_SUCCESS;
|
|
}
|