diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-02 18:28:52 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-03 15:19:10 -0400 |
commit | 8dc1280a5161633fddfb8334811a86c911bb25c1 (patch) | |
tree | f4b100a3f70acc10e6ca05a1d4c28c659df0eafe /src/bindings | |
parent | e9fb730333b2719cddaa0a9209aa7953d7f30b0b (diff) |
check() optimization
Details of testing here:
http://church.cims.nyu.edu/wiki/User:Kshitij/theorycheckoptimization
Diffstat (limited to 'src/bindings')
0 files changed, 0 insertions, 0 deletions