diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 15:06:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 15:06:26 -0800 |
| commit | c985e17d1f62597924a3e12a2a5e54df41e089e4 (patch) | |
| tree | 1d7240d50164f89c8999c7ab22b566296f6fca61 /src/demo.c | |
| parent | d1fa7f7a616326337f0059191912fcf7227249f5 (diff) | |
| download | abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.tar.gz abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.tar.bz2 abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.zip | |
Proof-logging in the updated solver.
Diffstat (limited to 'src/demo.c')
0 files changed, 0 insertions, 0 deletions