This repository has been archived by the owner on Oct 1, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
節の数や衝突の発生回数が多いケースだと非常に遅い #20
Comments
remove-availClauses ブランチで |
節が多いというより衝突が多いケースかもしれない。 |
試しに diff --git a/source/cnf.d b/source/cnf.d
index 12d9df1..2942a0f 100644
--- a/source/cnf.d
+++ b/source/cnf.d
@@ -35,6 +35,16 @@ struct Clause {
ID id;
/// 節に含まれる Literal の集合
Set!Literal literals;
+ bool test1 = true;
+ bool test2 = true;
+ bool test3 = true;
+ bool test4 = true;
+ bool test5 = true;
+ bool test6 = true;
+ bool test7 = true;
+ bool test8 = true;
+ bool test9 = true;
+ bool test10 = true;
this(ID id, Set!Literal literals) {
this.id = id;
|
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
No description provided.
The text was updated successfully, but these errors were encountered: