abc 0.0.0.20221019-1
アーキテクチャ: | x86_64 |
---|---|
リポジトリ: | extra |
ベースパッケージ: | abc |
説明: | シーケンシャル論理合成とフォーマル検証のためのシステム |
上流 URL: | https://github.com/berkeley-abc/abc |
ライセンス: | MIT |
パッケージ容量: | 6.0 MB |
インストール容量: | 15.9 MB |
パッケージ作成者: | Felix Yan |
最終更新: | 2022-10-26 10:18:09 JST |
アーキテクチャ: | x86_64 |
---|---|
リポジトリ: | extra |
ベースパッケージ: | abc |
説明: | シーケンシャル論理合成とフォーマル検証のためのシステム |
上流 URL: | https://github.com/berkeley-abc/abc |
ライセンス: | MIT |
パッケージ容量: | 6.0 MB |
インストール容量: | 15.9 MB |
パッケージ作成者: | Felix Yan |
最終更新: | 2022-10-26 10:18:09 JST |