Skip to content

teodorov/abc

About

ABC: System for Sequential Logic Synthesis and Formal Verification

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 97.2%
  • C++ 2.1%
  • HTML 0.4%
  • Makefile 0.2%
  • Objective-C 0.1%
  • CMake 0.0%