# --- T2-COPYRIGHT-BEGIN ---
# t2/package/*/berkeley-abc/berkeley-abc.desc
# Copyright (C) 2025 The T2 SDE Project
# SPDX-License-Identifier: GPL-2.0
# --- T2-COPYRIGHT-END ---

[I] System for Sequential Logic Synthesis and Formal Verification

[T] System for Sequential Logic Synthesis and Formal Verification. Features:
[T] formal verification, technology mapping and more.

[U] https://github.com/berkeley-abc/abc

[A] Alan Mishchenko <alanmi@berkeley.edu>
[A] Yukio Miyasaka <yoyuohlhjl@yahoo.co.jp>
[M] Alexander Nutz <alexandernutz68@gmail.com>

[C] extra/development
[F] CROSS

[L] MIT
[S] Stable
[V] 0e4a0807
[P] X -----5---9 150.000

[D] 32145c172d4275a17b1c81acbec331e9b0c01a2d814703accc3c4a9e berkeley-abc-0e4a0807.tar.gz https://github.com/berkeley-abc/abc/archive/0e4a0807/