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 24aef69 commit 02f63f4Copy full SHA for 02f63f4
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.7.4
10
#define RUSTSAT_VERSION_MAJOR 0
11
#define RUSTSAT_VERSION_MINOR 7
12
-#define RUSTSAT_VERSION_PATCH 3
+#define RUSTSAT_VERSION_PATCH 4
13
14
#ifdef __cplusplus
15
namespace RustSAT {
0 commit comments