diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:26:34 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:26:34 -0700 |
commit | 74a79e5dab400dcaee6fa61e4075197f8c0f1d56 (patch) | |
tree | 9316dbc9676077027ee12286e3ebaff54d033a04 /src/aig/llb/llb1Cluster.c | |
parent | 5767830b45bf963de12ecd2e19dfadb4af19a72d (diff) | |
download | abc-74a79e5dab400dcaee6fa61e4075197f8c0f1d56.tar.gz abc-74a79e5dab400dcaee6fa61e4075197f8c0f1d56.tar.bz2 abc-74a79e5dab400dcaee6fa61e4075197f8c0f1d56.zip |
Improvements to BDD reachability.
Diffstat (limited to 'src/aig/llb/llb1Cluster.c')
-rw-r--r-- | src/aig/llb/llb1Cluster.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb1Cluster.c b/src/aig/llb/llb1Cluster.c index 8a41fe58..758994b5 100644 --- a/src/aig/llb/llb1Cluster.c +++ b/src/aig/llb/llb1Cluster.c @@ -11,7 +11,7 @@ Author [Alan Mishchenko] Affiliation [UC Berkeley] - + Date [Ver. 1.0. Started - June 20, 2005.] Revision [$Id: llb1Cluster.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] |