opt → proof Relation

File in src/opt	Includes file in src/proof
cgt / cgtDecide.c	ssw / sswInt.h
dar / darScript.c	dch / dch.h
mfs / mfsStrash.c	fra / fra.h
nwk / nwk.h	fra / fra.h
nwk / nwk.h	ssw / ssw.h
nwk / nwkAig.c	abs / abs.h
sim / simSupp.c	fraig / fraig.h
sim / simSymSat.c	fraig / fraig.h