diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:45:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:45:52 -0700 |
| commit | 228dbcc51e8a00cc8e7c002f66b4411aada3a3fa (patch) | |
| tree | 08926571fa021a4b7e5736f32591cc3a792acfd6 /.hgignore | |
| parent | a9317eac758b150ef839aa673e9a04bacb875d8b (diff) | |
| download | abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.tar.gz abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.tar.bz2 abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.zip | |
Adding code of MiniSAT 2.2.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -19,7 +19,6 @@ src/xxx/ src/aig/au/ src/aig/ssm/ src/aig/ddb/ -src/sat/bsat2/ src/base/abc2/ src/base/abc2d/ |