From f8d247c53c3c3bd94fed645b5b47a9096cadc123 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 10 Oct 2024 14:30:39 +0200 Subject: Removed "options" from solver selection Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools. --- src/nissy.h | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/nissy.h') diff --git a/src/nissy.h b/src/nissy.h index 0545556..1fc1776 100644 --- a/src/nissy.h +++ b/src/nissy.h @@ -75,14 +75,12 @@ the same parameters, or -1 in case of error. The returned value can be slightly larger than the actual table size. */ int64_t nissy_datasize( - const char *solver, - const char *options /* TODO: remove options, use only solver name */ + const char *solver ); /* Returns the number of bytes written, or -1 in case of error */ int64_t nissy_gendata( const char *solver, - const char *options, /* TODO: remove options, use only solver name */ void *generated_data ); @@ -93,9 +91,9 @@ int64_t nissy_derivedata( void *generated_data ); +/* Returns 0 on positive check, 1 on error */ int64_t nissy_checkdata( const char *solver, - const char *options, const void *data ); @@ -109,7 +107,6 @@ int64_t nissy_datainfo( int64_t nissy_solve( const char cube[static 22], const char *solver, - const char *options, /* TODO: remove options, use only solver name */ const char *nisstype, /* TODO: remove, use flags */ int8_t minmoves, int8_t maxmoves, -- cgit v1.3