| CARVIEW |
Select Language
HTTP/2 200
expires: Thu, 19 Nov 1981 08:52:00 GMT
cache-control: no-store, no-cache, must-revalidate
pragma: no-cache
set-cookie: PHPSESSID=5idbdml0uchcofc8pul3er04jn; path=/
content-type: text/html; charset=UTF-8
date: Mon, 29 Dec 2025 12:35:22 GMT
server: Apache
pkgsrc.se | The NetBSD package collection
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wip
abc
wm
www
x11
* = Virtual Category
Path to this page:
./wip/abc, System for Sequential Logic Synthesis and Formal Verification
[
Branch: CURRENT, Version: 0.0.0.5430, Package name: abc-0.0.0.5430, Maintainer: pkgsrc-users
ABC is a system for Sequential Logic Synthesis and Formal Verification
Navigation:
-
Browse pkgsrc
(this page)
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
math
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
regress
security
shells
sysutils
textproc
time
wip abcwm
www
x11
* = Virtual Category
New packages:Path to this page:
./wip/abc, System for Sequential Logic Synthesis and Formal Verification
[ 
CVSweb ] [ 
Homepage ] [ 
RSS ] [ 
Required by ] [ 
Add to tracker ]
Branch: CURRENT, Version: 0.0.0.5430, Package name: abc-0.0.0.5430, Maintainer: pkgsrc-users
ABC is a system for Sequential Logic Synthesis and Formal Verification
Master sites:
Version history: (Expand)
- (2025-07-15) Package has been reborn
- (2025-07-15) Package deleted from pkgsrc
- (2024-09-15) Updated to version: abc-0.0.0.5430
- (2024-09-13) Package added to pkgsrc.se, version abc-ef5389d31526003c2ebd7e6d6d6fe3848a20f0a2 (created)