YuhangQ/ACEC
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10 Commits 1 Branch 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
YuhangQ 99aafd18cd fix a bug
2022-10-23 17:29:18 +08:00
.gitignore
fix a bug
2022-10-23 17:29:18 +08:00
acec.cpp
fix a bug
2022-10-23 17:29:18 +08:00
circuit.cpp
establish circuit structure
2022-10-23 16:14:11 +08:00
circuit.h
establish circuit structure
2022-10-23 16:14:11 +08:00
hash_val.cpp
old version
2022-10-21 19:34:18 +08:00
hash_val.h
old version
2022-10-21 19:34:18 +08:00
LICENSE
Initial commit
2022-10-13 17:34:40 +08:00
makefile
remove CEC code
2022-10-23 14:08:48 +08:00
monomial.cpp
old version
2022-10-21 19:34:18 +08:00
monomial.h
old version
2022-10-21 19:34:18 +08:00
polynomial.cpp
old version
2022-10-21 19:34:18 +08:00
polynomial.h
naive acec
2022-10-23 17:07:24 +08:00
README.md
Initial commit
2022-10-13 17:34:40 +08:00
result.txt
fix a bug
2022-10-23 17:29:18 +08:00
term.cpp
old version
2022-10-21 19:34:18 +08:00
term.h
old version
2022-10-21 19:34:18 +08:00
test.v
fix a bug
2022-10-23 17:29:18 +08:00
variable.h
old version
2022-10-21 19:34:18 +08:00

README.md

ACEC

EDA TOOL

Description
huawei competetion
Readme 2.2 MiB
Languages
C++ 87.9%
Coq 10.8%
Makefile 1.3%