CUDDを使ってみよう

• サンプルファイルとか転がっていないだろうか…
  • こちら
  • こちら
• hello のサンプルをまずは…(こちら)

gcc sample1a.c -o sample1a

• とやるも『アクセスが拒否されました。』と…
• こちらにあるようにgccは「影」でgcc-3.exeが本物なので

gcc-3 sample1a.c -o sample1a

• とすれば、sample1a.o もできて、sample1a.exeもできて

sample1a.exe

• で

Hello!

• が出て、成功、と
• さてCUDDパッケージを使ってみる、の本番
• cudd-2.5.0の下のnanotravにnanotrav.exeがあって、これが『本体』なのだ、という。そこにあるtsh.sh

#! /bin/sh
#
# $Id: tst.sh,v 1.2 1998/05/03 08:41:38 fabio Exp fabio $
#
./nanotrav -p 1 -cover C17.blif > C17.tst
./nanotrav -p 1 -ordering dfs -autodyn -automethod sifting -reordering sifting -drop C880.blif > C880.tst
./nanotrav -p 1 -trav s27.blif > s27.tst
./nanotrav -p 1 -autodyn -reordering sifting -trav mult32a.blif > mult32a.tst
./nanotrav -p 1 -envelope rcn25.blif > rcn25.tst

• に関して

sh ./tst.sh

• とすると、わんさか、何かしらnodesとかliveとかdroppedとか、BDD/ZDDらしき処理をしているらしく、しばらくして、無事終了し、なんかしらの出力ファイルができたようだ