UbuntuUpdates.org

Package "berkeley-abc"

Name: berkeley-abc

Description:

ABC - A System for Sequential Synthesis and Verification

Latest version: 1.01+20150706hgc3698e0+dfsg-2
Release: xenial (16.04)
Level: base
Repository: universe
Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/

Links


Download "berkeley-abc"


Other versions of "berkeley-abc" in Xenial

No other version of this package is available in the Xenial release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates