调用ABC自带标准脚本文件

Linux中.rc脚本文件

在Linux中，最为常用的缩略语“rc”，它是名词“run command”(运行命令)的简写。

rc”是任何脚本类文件的后缀，这些脚本通常在程序的启动阶段被调用，通常是Linux系统启动时。如/etc/rs是Linux启动的主脚本，而.bashrc是当Linux的bash shell启动后所运行的脚本。

.bashrc的前缀“.”是一个命名标准，它被设计用来在用户文件中隐藏那些用户指定的特殊文件;“ls”命令默认情况下不会列出此类文件，“rm”默认情况下也不会删除它们。许多程序在启动时，都需要 “rc”后缀的初始文件或配置文件。

abc调用脚本执行程序

注：可执行文件abc和脚本文件abc.rc必须在同一目录下，否则abc无法识别脚本中命令；

 举例1(abc调用脚本命令，命令流）：读入aig文件——read_aiger；优化aig——resyn2；将aig转为cnf——write_cnf；

注意：abc不同执行命令之间用于分号间隔；

 举例2(also）：help命令

举例3(also)：查看xmgrw命令的使用

补充：abc.rc文件，可以查看脚本文件中命令；