Information for abc

Versions

• 9999
• 1.01
• 20221019
• 2023-06-28
• 2023-02-23
• 2022-09-08
• 2022.03.22
• 2020.11.24
• 1.01+20230625git01b1bd1
• 1.01+20221019git70cb339
• 1.01+20221019git70cb339+git20221229.0.66a5fe7
• 1.01+20211229git48498af
• 1.01+20201124
• 1.01+20191006git52a8ebb
• 1.01+20181130git163bba5
• 1.01+20161002hgeb6eca6
• 1.01+20150706hgc3698e0
• 1.01
• 1.0.0
• 0_p20230313
• 0.0-2.70cb339
• 0.0.0.20221019
• g20220920

Package names

• abc (6)
• abc-git
• abc-verifier
• abc-verifier-unstable
• berkeley-abc (3)

Repositories

• Arch
• Arch Linux 32 i486
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• AUR
• Debian 10
• Debian 11
• Debian 12
• Debian 13
• Debian Unstable
• Debian Janitor - Snapshots
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• EPEL 7
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• FreeBSD Ports
• Gentoo
• GNU Guix
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• Parabola
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Scoop
• SlackBuilds
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 23.04
• Ubuntu 23.10
• Void Linux x86_64

Categories

• Unspecified
• cad
• development
• electronics
• misc
• sci-mathematics
• universe/misc

Licenses

• Apache-2.0
• BSD (2)
• BSD-2-Clause
• BSD-4-Clause
• MIT (4)
• MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
• custom:University-of-California

Summaries

• A tool for squential logic synthesis and formal verification
• Sequential logic synthesis and formal verification (2)
• System for Sequential Logic Synthesis and Formal Verification
• System for Sequential Synthesis and Verification
• System for sequential logic synthesis and formal verification
• System for sequential synthesis and verification

Maintainers

• aseipp@pobox.com
• congdanhqx@gmail.com
• debian-science-maintainers@lists.alioth.debian.org
• dxld@darkboxed.org
• ruben.undheim@gmail.com
• sci-mathematics@gentoo.org
• spaceships@aur
• uddka@student.kit.edu

• Group email

Homepage links

• http://www.eecs.berkeley.edu/~alanmi/abc/^{redir, no IPv6} (2)
• http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm^{redir, no IPv6} (2)
• https://github.com/appbaseio/abc^{ok, no IPv6}
• https://github.com/berkeley-abc/abc^{ok, no IPv6} (2)
• https://github.com/berkeley-abc/abc/^{ok, no IPv6}
• https://people.eecs.berkeley.edu/~alanmi/abc^{redir, no IPv6} (2)
• https://people.eecs.berkeley.edu/~alanmi/abc/^{ok, no IPv6} (3)
• https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm^{ok, no IPv6}
• https://www.eecs.berkeley.edu/~alanmi/abc/^{redir, no IPv6}

All package recipes

• https://archlinuxarm.org/packages/aarch64/abc/files/PKGBUILD^{dead (see archive.org)}
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=abc-git^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/fpga.scm#n70^ok
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/abc/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/abc/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/abc/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/abc/default.nix#L25^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/abc/default.nix#L25^{ok, no IPv6}
• https://github.com/ScoopInstaller/Main/blob/master/bucket/abc.json^{ok, no IPv6}
• https://github.com/void-linux/void-packages/blob/master/srcpkgs/berkeley-abc/template^{ok, no IPv6}
• https://gitlab.archlinux.org/archlinux/packaging/packages/abc/-/blob/main/PKGBUILD^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/abc/abc-0_p20230313.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/abc/abc-9999.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/abc/abc-0_p20230313.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/abc/abc-9999.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/abc/abc-0_p20230313.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/abc/abc-9999.ebuild^ok
• https://src.fedoraproject.org/rpms/abc/blob/epel7/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f26/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f27/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f28/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f29/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f30/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f31/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f32/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f33/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f34/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f35/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f36/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f37/f/abc.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/abc/blob/f38/f/abc.spec^{ok, no IPv6}

Downloads

• https://github.com/appbaseio/abc/releases/download/1.0.0/abc-windows-1.0.0.zip^{ok, no IPv6}
• https://github.com/berkeley-abc/abc^{ok, no IPv6}
• https://github.com/berkeley-abc/abc/archive/70cb339f869e485802159d7f2b886130793556c4/abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz^{ok, no IPv6}
• https://github.com/berkeley-abc/abc/archive/a5f4841486d4a491913943c5b92167a9e988abac.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/abc/1.01/11.hg20160905.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/13.hg20160905.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/16.hg20180228.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/18.git20180708.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/21.git20181121.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/22.git20190608.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/23.git20190608.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/26.git20200127.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/27.git20200720.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/28.git20201126.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/30.git20210328.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/31.git20210328.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/33.git20211229.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/35.git20220731.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/37.git20221229.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/40.git20230708.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/abc/1.01/9.hg20160905.el7/data/logs/^{ok, no IPv6}