tree fc29613bd00accf722cfc540eedaaaf5a6051811
parent 40effe3b15ba5e7eebecf452192918cb4e10e857
author Sameer Agarwal <sameeragarwal@google.com> 1508019861 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1508021938 -0700

Refactor nist.cc to be compatible with TinySolver

Change-Id: Iec0455ff9fe327fe75dc63f5b80c2ecca2c48e55