abcBridge-0.10.0.0: dependencies

Dependencies for abcBridge-0.10.0.0

library	aig base (>=4) directory vector
long-test	abcBridge base (>=4 && <5)

Automatic Flags

Name	Description	Default
enable-pthreads	Turn on multithreading	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info