From 487e610b88f2a634e3285886ff96717c103338de Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 2 Sep 2011 17:56:43 +0000 Subject: Partial merge of integers work; this is simple B&B and some pseudoboolean infrastructure, and takes care not to affect CVC4's performance on LRA benchmarks. --- src/theory/arith/Makefile.am | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/theory/arith/Makefile.am') diff --git a/src/theory/arith/Makefile.am b/src/theory/arith/Makefile.am index 7f193b9e3..36ab2cd68 100644 --- a/src/theory/arith/Makefile.am +++ b/src/theory/arith/Makefile.am @@ -32,7 +32,9 @@ libarith_la_SOURCES = \ simplex.h \ simplex.cpp \ theory_arith.h \ - theory_arith.cpp + theory_arith.cpp \ + dio_solver.h \ + dio_solver.cpp EXTRA_DIST = \ kinds -- cgit v1.2.3