Partial CVC4 Build in Vagrant
Complete CVC4 Installation to Vagrant Provisioner
CVC4 Python SWIG Compilation to Vagrant Provisioner
Increased Memory Usage of Vagrant Box
Added "-py3" Option to SWIG_FEATURES for Python 3 Support
Need to Export Environment Variable
SWIG_FEATURE Modifications Break Configure
Suggested Modifications for Python3 Support in CVC4
Installation of CVC4 Python Bindings
Solver Options to Test Script and PyEx
Setup Explorer with CVC Solver
Merge branch 'master' into cvc4
Initial Attempt at CVC4 Integration
Added Python3 Header Installation to Vagrant Configuration
Progress Towards Working CVC4
ABS Test Case Passes!
Integer Operations
CVC4 Greater Than or Equal To
Use of Integer Constants is Explicit, Set Logic to All
Switched Theory to ALL_SUPPORTED