Language

Package abc @ 0.0-1.5ae4b97

Synopsis

Sequential logic synthesis and formal verification

Description

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

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

Lint warnings

LinterMessageLocation
formatting

Look for formatting issues in the source

line 86 is way too long (95 characters)