Anitha B Gollamudi

Thanks. I renamed it and the build progressed. I have two questions at this point. **(1)** I am getting error linking direct_ExprSolver_SMT2. I could build boost-1.52 successfully though. I am...

I think I figured the reason. I need to configure -stdlib=libstdc++ in LDFLAGS and/or CXXFLAGS to build metaSMT. How do I configure this in bootstrap.sh?

I just manually edited link.txt files in build directories. So the above error got fixed. However python bindings gave a new error: /Users/anithagollamudi/cs260r/project/metaSMT/bindings/python/../../src/metaSMT/backend/../support/GoTmp.hpp:11:16: error: use of undeclared identifier 'get_current_dir_name' :...

I could finally get Z3-4.3.1 built and installed on Mac OSX. I have not tried other solvers. Main changes for Mac OSX are: 1. Changes to all 'sed -i' commands....

@finnhaedicke > I am sorry to say, metaSMT only supports Core, BitVector and Array theory. :-( > I have not worked with string theory, so I do not know which...

@finnhaedicke Regarding string theory support, Do we also need to change DirectSolver_Context.hpp to handle string tags? (I have not yet debugged its detailed purpose other than as a framework for...