diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-03 18:48:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-03 18:48:26 -0800 |
| commit | b7176ee3e52c5068d93abd898be0639f9a648230 (patch) | |
| tree | aa0ab4c4dd1c3fa73c50836a1ce22de2d2d8a68e /src/base/wlc/wlcReadSmt.c | |
| parent | 03b9f41786b59f90b1513e9436ec3e1082f80cb3 (diff) | |
| download | abc-b7176ee3e52c5068d93abd898be0639f9a648230.tar.gz abc-b7176ee3e52c5068d93abd898be0639f9a648230.tar.bz2 abc-b7176ee3e52c5068d93abd898be0639f9a648230.zip | |
Adding command-line switch 'testnpn -A 12' for P-only canonical form computation.
Diffstat (limited to 'src/base/wlc/wlcReadSmt.c')
0 files changed, 0 insertions, 0 deletions