Skip to main content

Browse the archive

https://github.com/NTU-ALComLab/elimssat
17 July 2022, 16:10:24 UTC
Revision 076babed38a25f78805750192e9a54eba6ce9ef6 authored by haorenW1025 on 17 July 2022, 15:41:26 UTC, committed by haorenW1025 on 17 July 2022, 15:41:26 UTC 
add reference to benchmarks in README
1 parent 5c108b3
Raw File
Tip revision: 076babed38a25f78805750192e9a54eba6ce9ef6 authored by haorenW1025 on 17 July 2022, 15:41:26 UTC
add reference to benchmarks in README
Tip revision: 076babe
.hgignore 
syntax:glob

DebugLib/
DebugExe/
DebugExt/

ReleaseLib/
ReleaseExe/
ReleaseExt/

_TEST/
lib/abc*
lib/m114*
lib/bip*
docs/

src/ext*
src/xxx/
src/aig/au/
src/aig/ssm/
src/aig/ddb/

*~
*.orig

*.[od]

*.ncb
*.opt
*.plg

*.zip

abcspaceext.dsw
abcext.dsp

abcexe.vcproj*
abclib.vcproj*
abcspace.sln
abcspace.suo

*.pyc

src/python/build
src/python/bdist
src/python/pyabc.py
src/python/pyabc_wrap.*

.idea/
build/

*.rej
*.orig

tags

syntax: regexp

^libabc.a$
^abc$

^arch_flags$

^cmake
^cscope
back to top