From c14e780551c4e7aa88d99b226b12f7cdd7b92527 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 30 Mar 2024 18:40:02 +0100 Subject: Added cocsep data generation, but it is very slow --- test/test.h | 1 + 1 file changed, 1 insertion(+) (limited to 'test/test.h') diff --git a/test/test.h b/test/test.h index 7c5400e..3cbfd10 100644 --- a/test/test.h +++ b/test/test.h @@ -22,5 +22,6 @@ typedef cube_t cube_fast_t; cube_t solvedcube(void); bool iserror(cube_t); bool issolvable(cube_t); +bool issolved(cube_t); cube_t readcube(char *, char *); void writecube(char *, cube_t, char *); -- cgit v1.3