Language

Package: abc @ 0.0-1-5ae4b975c

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification.

Home page
http://people.eecs.berkeley.edu/~alanmi/abc/
Location
gnu/packages/fpga.scm (line: 52, column: 2)
License

Lint warnings

LinterMessageLocation
formatting

Look for formatting issues in the source

line 83 is way too long (95 characters)