Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

[Ralf Treinen <treinen@free.fr>]

On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undheim@gmail.com wrote:
> Package: wnpp
> Severity: wishlist
> Owner: ruben.undheim@gmail.com
> 
> 
> * Package name    : abc
>   Version         : 1.01-20140822hg4d547a5e065b
>   Upstream Author : Berkeley Logic Synthesis and Verification Group
> * URL             : http://www.eecs.berkeley.edu/~alanmi/abc/
> * License         : MIT-similar (The Regents of the University of California)
>   Programming Lang: C
>   Description     : A System for Sequential Synthesis and Verification
> 
[...]

> Please provide feedback on the naming of the package!
> Perhaps the name "abc" is a bad name to use in debian although
> it's the correct upstream name.

It is indeed bit short. What alternative names for the package can you
propose?

-Ralf.