diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-02-16 00:54:12 +0000 |
| commit | 67c6e89c904f76a268f9297b7589559a262583e0 (patch) | |
| tree | 931766422986af03259c2c3c75221fb61be523e9 /src/util/options.h | |
| parent | 9a0a59d5c85c4a1d2469f43e9d2b433e156810ba (diff) | |
Last commit accidentally lacked r2778 and r2779 from integer2. I have manually brought these changes over. Changed the tests used by test/regress/regress0/arith/integers/Makefile.am to be 15 of the more interesting tests. Did a bit of cleanup on TheoryArith to eliminate a warning and remove dead code.
Diffstat (limited to 'src/util/options.h')
| -rw-r--r-- | src/util/options.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h index 1e392e87d..32d26c750 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -208,6 +208,12 @@ struct CVC4_PUBLIC Options { */ bool ufSymmetryBreaker; + /** + * Whether to do the linear diophantine equation solver + * in Arith as described by Griggio JSAT 2012 (on by default). + */ + bool dioSolver; + Options(); /** |