diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-15 20:59:59 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-15 20:59:59 +0700 |
commit | 153b71c1403ed79d7650ad702bb343e0490e36c9 (patch) | |
tree | 9204d0818ede3251b07738db0343c467cbd457ab /src/proof/acec/acec.h | |
parent | 1b86911c4fe0b193c3a281e823de7934664da798 (diff) | |
download | abc-153b71c1403ed79d7650ad702bb343e0490e36c9.tar.gz abc-153b71c1403ed79d7650ad702bb343e0490e36c9.tar.bz2 abc-153b71c1403ed79d7650ad702bb343e0490e36c9.zip |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acec.h')
-rw-r--r-- | src/proof/acec/acec.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/acec/acec.h b/src/proof/acec/acec.h index 5a24bec7..fcbd32df 100644 --- a/src/proof/acec/acec.h +++ b/src/proof/acec/acec.h @@ -66,6 +66,8 @@ struct Acec_ParCec_t_ /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +/*=== acecCl.c ========================================================*/ +extern Gia_Man_t * Acec_ManDecla( Gia_Man_t * pGia, int fBooth, int fVerbose ); /*=== acecCore.c ========================================================*/ extern void Acec_ManCecSetDefaultParams( Acec_ParCec_t * p ); extern int Acec_Solve( Gia_Man_t * pGia0, Gia_Man_t * pGia1, Acec_ParCec_t * pPars ); |