From d833d5790a38dc62d8a4714a13253253767c377e Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 30 Apr 2013 19:09:06 -0400
Subject: Draft of the new propagation code.

---
 src/theory/arith/options | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/theory/arith/options')

diff --git a/src/theory/arith/options b/src/theory/arith/options
index 977d6cb32..cf0782a92 100644
--- a/src/theory/arith/options
+++ b/src/theory/arith/options
@@ -91,4 +91,7 @@ option fancyFinal --fancy-final bool :default false :read-write
 option exportDioDecompositions --dio-decomps bool :default false :read-write
  Let skolem variables for integer divisibility constraints leak from the dio solver.
 
+option newProp --new-prop bool :default false :read-write
+ Use the new row propagation system
+
 endmodule
-- 
cgit v1.2.3