Ubuntuにbc2cnfをインストールするにはどうすればいいですか?

0
2022.03.07

bc2cnfツールを使用してデジタル回路のCNFを生成したいと思います。ターミナルを使用してubuntuにbc2cnfツール(BCパッケージから)をインストールして実行する方法を教えてください。前もって感謝します !!

回答
1
2022.03.07

あなたは私が想定しているものをコンパイルした経験があまりありません...それで非常に簡潔なステップバイステップ:

  1. zipファイルをダウンロードして解凍します。
  2. シェルとcdをファイルのあるフォルダーに開きます。
  3. ls -l *.txt*は、READMEファイルがあることを明らかにします...
  4. less README.txtと入力して(いつものようにENTERを押してください!)それを読んでください...
  5. そこにmake utilty_nameが記載されています。
  6. ...シェルプロンプトでそれらを正確に試してください...
  7. 処理(コンパイル!)が実行されるときにerrorまたはfailedテキストが出力されないと仮定すると、同じ方法で名前が付けられた実行可能ファイルが表示されていることに気付く可能性があります。
  8. ls -lに確認してください。
  9. ./utilty_name --helpは、それを使用する方法についてさらにヒントを与える可能性があります。

注:ダウンロードできるファイルで上記を試したことはありません。したがって、上記は失敗する可能性があり、そこでの問題についてはお手伝いできません...これらのユーティリティがどのように機能するかについて、少なくともある程度の知識が必要になります。