We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 98425d8 commit 58f7410Copy full SHA for 58f7410
capi/rustsat.h
@@ -6,10 +6,10 @@
6
#include <stddef.h>
7
#include <stdint.h>
8
#include <stdlib.h>
9
-#define RUSTSAT_VERSION 0.7.3
+#define RUSTSAT_VERSION 0.8.0
10
#define RUSTSAT_VERSION_MAJOR 0
11
-#define RUSTSAT_VERSION_MINOR 7
12
-#define RUSTSAT_VERSION_PATCH 3
+#define RUSTSAT_VERSION_MINOR 8
+#define RUSTSAT_VERSION_PATCH 0
13
14
#ifdef __cplusplus
15
namespace RustSAT {
0 commit comments