Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 118 Bytes
Newer Older
Changes to be able to compile ABC without CUDD.
24f2a120
 
Alan Mishchenko committed
1 2 3 4 
SRC +=    src/bdd/bbr/bbrCex.c \
    src/bdd/bbr/bbrImage.c \
    src/bdd/bbr/bbrNtbdd.c \
    src/bdd/bbr/bbrReach.c