improved xor performance for SAT

sfiruch · Feb 20, 2024 · f2d2efa · f2d2efa
1 parent 0f52b83
commit f2d2efa
Show file tree

Hide file tree

Showing 2 changed files with 2,043 additions and 2,059 deletions.
diff --git a/SATInterface/BoolExpr.cs b/SATInterface/BoolExpr.cs
@@ -117,8 +117,6 @@ public override string ToString()
 
 			if (ReferenceEquals(lhsS, rhsS))
 				return Model.True;
-			//if (lhsS is BoolVar a && rhsS is BoolVar b && a.Id == -b.Id)
-			//    return Model.False;
 
 			if (ReferenceEquals(lhsS, Model.True))
 				return rhsS;
@@ -132,7 +130,8 @@ public override string ToString()
 
 			lhsS = lhsS.Flatten();
 			rhsS = rhsS.Flatten();
-			return lhsS.GetModel()!.ITE(lhsS, rhsS, !rhsS);
+
+            return lhsS.GetModel()!.ITE(lhsS, rhsS, !rhsS);
 		}
 
 		public static BoolExpr operator !=(BoolExpr lhs, BoolExpr rhs) => !(lhs == rhs);