1 files changed, 6 insertions, 0 deletions

diff --git a/src/nissy.h b/src/nissy.h
index 63e7a90..0545556 100644
--- a/src/nissy.h
+++ b/src/nissy.h
@@ -93,6 +93,12 @@ int64_t nissy_derivedata(
         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,