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.

1 files changed, 2 insertions, 5 deletions

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,