tree 83352d999da73df3e6f49fd7e752778ba7468f3e
parent faa117a7e9d4b600360d85bf869050763d679548
author Sameer Agarwal <sameeragarwal@google.com> 1344573979 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1344639331 -0700

Add ability to log solver execution to file.

Change-Id: I9996ba2fed5229fe5d621fbb1a027d4c360cd59d