Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 115 Bytes
Newer Older
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
1 2 
SRC +=  src/aig/bdc/bdcCore.c \
    src/aig/bdc/bdcDec.c \
Experiments with SPFD-based decomposition.
23671d65
 
Alan Mishchenko committed
3 
    src/aig/bdc/bdcSpfd.c \
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
4 5 
    src/aig/bdc/bdcTable.c