This fork of ABC is used to track changes needed to compile ABC as a static library and interface with mockturtle (and to easily pull the latest changes in ABC).

Compilation with ABC as a static library is added to mockturtle in PR #634.

Some code in mockturtle is only available when configured and compiled with the CMake option ENABLE_ABC=1, which will only work with a libabc.a file in mockturtle/lib/abc_static/. This repository serves to generate such file.

Compile with command make ABC_USE_NAMESPACE=abc ABC_USE_NO_READLINE=1 ABC_USE_NO_CUDD=1 libabc.a, then move the obtained libabc.a file to mockturtle/lib/abc_static/.

Download a precompiled library (.a) file according to your OS in release, rename it as libabc.a and place it in mockturtle/lib/abc_static/.