From 94decb8503be1fcc894094a0f2656e25d8aef251 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 1 May 2013 14:59:39 -0400
Subject: Working on the new explanation system.

---
 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 cf0782a92..1366addae 100644
--- a/src/theory/arith/options
+++ b/src/theory/arith/options
@@ -94,4 +94,7 @@ option exportDioDecompositions --dio-decomps bool :default false :read-write
 option newProp --new-prop bool :default false :read-write
  Use the new row propagation system
 
+option arithPropAsLemmaLength --arith-prop-clauses int :default 8 :read-write
+ Rows shorter than this are propagated as clauses
+
 endmodule
-- 
cgit v1.2.3