Atri Bhattacharya
0bc13cf069
Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. OBS-URL: https://build.opensuse.org/request/show/1286410 OBS-URL: https://build.opensuse.org/package/show/science/kissat?expand=0&rev=1
14 lines
480 B
Diff
14 lines
480 B
Diff
Index: kissat-rel-4.0.2/src/congruence.c
|
|
===================================================================
|
|
--- kissat-rel-4.0.2.orig/src/congruence.c
|
|
+++ kissat-rel-4.0.2/src/congruence.c
|
|
@@ -390,7 +390,7 @@ static size_t reduce_hash (unsigned hash
|
|
return res;
|
|
}
|
|
|
|
-#define MAX_HASH_TABLE_SIZE ((size_t) 1 << 32)
|
|
+#define MAX_HASH_TABLE_SIZE ((size_t) 1 << 31)
|
|
|
|
static bool closure_hash_table_is_full (closure *closure) {
|
|
if (closure->hash.size == MAX_HASH_TABLE_SIZE)
|