abc packages - Repology

72 package(s) known

Arch
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):

Arch Linux 32 i486
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1.0)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 i686
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1.0)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 pentium4
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1.0)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux ARM aarch64
^community

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):

Arch Linux ARM aarch64
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):

AUR

abc-git

1.01 (1.01-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
Maintainer:
- spaceships@aur
License:
- BSD
Link(s):

Debian 10
^buster/main

berkeley-abc

1.01+20181130git163bba5 (1.01+20181130git163bba5+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):

Debian 11
^{bullseye/main}

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):

Debian 12
^{bookworm/main}

berkeley-abc

1.01+20221019git70cb339 (1.01+20221019git70cb339+dfsg-4)

Debian 13
^trixie/main

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Debian Unstable
^sid/main

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Debian Janitor - Snapshots

berkeley-abc

1.01+20221019git70cb339+git20221229.0.66a5fe7 (1.01+20221019git70cb339+git20221229.0.66a5fe7+dfsg-1~jan+nus1)

Maintainers:
Link(s):

Deepin
^main

berkeley-abc

1.01+20181130git163bba5 (1.01+20181130git163bba5+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 3.0
^beowulf/main

berkeley-abc

1.01+20181130git163bba5 (1.01+20181130git163bba5+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan 4.0
^{chimaera/main}

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan Unstable
^{unstable/main}

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

EPEL 7

abc

1.01 (1.01-9.hg20160905.el7)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 26
^release

abc

1.01 (1.01-11.hg20160905.fc26)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 27
^release

abc

1.01 (1.01-13.hg20160905.fc27)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 28
^release

abc

1.01 (1.01-16.hg20180228.fc28)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 29
^release

abc

1.01 (1.01-18.git20180708.fc29)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 30
^updates

abc

1.01 (1.01-22.git20190608.fc30)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 30
^release

abc

1.01 (1.01-21.git20181121.fc30)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 31
^release

abc

1.01 (1.01-23.git20190608.fc31)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 32
^release

abc

1.01 (1.01-26.git20200127.fc32)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 33
^updates

abc

1.01 (1.01-28.git20201126.fc33)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 33
^release

abc

1.01 (1.01-27.git20200720.fc33)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 34
^release

abc

1.01 (1.01-30.git20210328.fc34)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 35
^release

abc

1.01 (1.01-31.git20210328.fc35)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Fedora 36
^release

abc

1.01 (1.01-33.git20211229.fc36)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 37
^release

abc

1.01 (1.01-35.git20220731.fc37)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 38
^release

abc

1.01 (1.01-37.git20221229.fc38)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Fedora 38
^updates

abc

1.01 (1.01-40.git20230708.fc38)

Summary:
Sequential logic synthesis and formal verification
Category:
- Unspecified
License:
- MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

FreeBSD Ports

cad/abc

g20220920

Summary:
System for sequential synthesis and verification
Maintainer:
- uddka@student.kit.edu
Category:
- cad
Link(s):

Gentoo

sci-mathematics/abc

9999

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

Gentoo

sci-mathematics/abc

0_p20230313

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

GNU Guix

abc

0.0-2.70cb339

Summary:
Sequential logic synthesis and formal verification
Link(s):

Kali Linux Rolling
^main

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

LiGurOS stable

sci-mathematics/abc

9999

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

LiGurOS stable

sci-mathematics/abc

0_p20230313

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

LiGurOS develop

sci-mathematics/abc

9999

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

LiGurOS develop

sci-mathematics/abc

0_p20230313

Summary:
System for sequential logic synthesis and formal verification
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- BSD
Link(s):

Manjaro Stable
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Testing
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Unstable
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 21.11

abc-verifier

2020.11.24

Summary:
A tool for squential logic synthesis and formal verification
Maintainer:
- aseipp@pobox.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.05

abc-verifier

2022.03.22

Summary:
A tool for squential logic synthesis and formal verification
Maintainer:
- aseipp@pobox.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.11

abc-verifier-unstable

2022-09-08

Summary:
A tool for squential logic synthesis and formal verification
Maintainer:
- aseipp@pobox.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 23.05

abc-verifier-unstable

2023-02-23

Summary:
A tool for squential logic synthesis and formal verification
Maintainer:
- aseipp@pobox.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs unstable

abc-verifier-unstable

2023-06-28

Summary:
A tool for squential logic synthesis and formal verification
Maintainer:
- aseipp@pobox.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

OpenBSD Ports

cad/abc

1.01.20210519

Summary:
system for sequential logic synthesis and verification
Maintainer:
- just22@atlantide.mooo.com
Category:
- cad
Link(s):

Parabola
^extra

abc

0.0.0.20221019 (0.0.0.20221019-1)

Summary:
System for Sequential Logic Synthesis and Formal Verification
License:
- MIT
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Pardus 21
^main

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^{parrot-updates/main}

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^parrot/main

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

PureOS Amber

berkeley-abc

1.01+20181130git163bba5 (1.01+20181130git163bba5+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- electronics
Link(s):
- Upstream homepage^{redir, no IPv6}

PureOS landing

berkeley-abc

1.01+20221019git70cb339 (1.01+20221019git70cb339+dfsg-4)

Maintainers:
Category:
- electronics
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Oldstable
^main

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Stable
^main

berkeley-abc

1.01+20221019git70cb339 (1.01+20221019git70cb339+dfsg-4)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Testing
^main

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Maintainers:
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Scoop
^main

abc

1.0.0

License:
- Apache-2.0
Link(s):

SlackBuilds

development/berkeley-abc

20221019

Category:
- development
Link(s):

Trisquel 10.0
^nabia/main

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1build1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):
- Package page^ok
- Upstream homepage^{redir, no IPv6}

Trisquel 11.0
^aramo/main

berkeley-abc

1.01+20211229git48498af (1.01+20211229git48498af+dfsg-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):
- Package page^ok
- Upstream homepage^{redir, no IPv6}

Ubuntu 16.04
^{xenial/universe}

berkeley-abc

1.01+20150706hgc3698e0 (1.01+20150706hgc3698e0+dfsg-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):

Ubuntu 18.04
^{bionic/universe}

berkeley-abc

1.01+20161002hgeb6eca6 (1.01+20161002hgeb6eca6+dfsg-1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):

Ubuntu 20.04
^{focal/universe}

berkeley-abc

1.01+20191006git52a8ebb (1.01+20191006git52a8ebb+dfsg-1build1)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):

Ubuntu 22.04
^{jammy/universe}

berkeley-abc

1.01+20211229git48498af (1.01+20211229git48498af+dfsg-2)

Maintainers:
- debian-science-maintainers@lists.alioth.debian.org
- ruben.undheim@gmail.com
Category:
- universe/misc
Link(s):

Ubuntu 23.04
^{lunar/universe}

berkeley-abc

1.01+20221019git70cb339 (1.01+20221019git70cb339+dfsg-4)

Ubuntu 23.10
^{mantic/universe}

berkeley-abc

1.01+20230625git01b1bd1 (1.01+20230625git01b1bd1+dfsg-3)

Void Linux x86_64
^x86_64

berkeley-abc

1.01+20201124 (1.01+20201124_1)

Summary:
System for Sequential Synthesis and Verification
Maintainer:
- congdanhqx@gmail.com
Licenses:
- custom:University-of-California
- BSD-4-Clause
- MIT
- BSD-2-Clause
Link(s):

Packages for abc

abc

abc

abc

abc

abc

abc

abc-git

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

abc

cad/abc

sci-mathematics/abc

sci-mathematics/abc

abc

berkeley-abc

sci-mathematics/abc

sci-mathematics/abc

sci-mathematics/abc

sci-mathematics/abc

abc

abc

abc

abc-verifier

abc-verifier

abc-verifier-unstable

abc-verifier-unstable

abc-verifier-unstable

cad/abc

abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

abc

development/berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc

berkeley-abc