1 files changed, 6 insertions, 0 deletions

diff --git a/src/nissy.h b/src/nissy.h
index 336130c..e8c35c3 100644
--- a/src/nissy.h
+++ b/src/nissy.h
@@ -86,6 +86,12 @@ int64_t nissy_gendata(
         void *generated_data
 );
 
+int64_t nissy_checkdata(
+        const char *solver,
+        const char *options,
+        const void *data
+);
+
 /* Print information on a data table via the provided callback writer */
 int64_t nissy_datainfo(
         const void *table,