From d1a227493a2f22b8bf87eb0d077c46621919fbed Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Sep 2017 08:31:31 -0700
Subject: [PATCH] n/a

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/ba_solver.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/sat/ba_solver.h b/src/sat/ba_solver.h
index 4433017dc..46e6b15e8 100644
--- a/src/sat/ba_solver.h
+++ b/src/sat/ba_solver.h
@@ -7,7 +7,9 @@ Module Name:
 
 Abstract:
 
-    Cardinality extensions.
+    Cardinality extensions, 
+    Pseudo Booleans, 
+    Xors
 
 Author: