Refactor(Changelog): Implemented aig_resubstitution2 instead of `xa…
#1246
aletempiaclinux.yml
on: push
GNU GCC 9
10m 31s
GNU GCC 10
11m 46s
GNU GCC 10 (c++20)
13m 52s
GNU GCC 12
13m 50s
Clang 11
9m 12s
Clang 13
9m 48s
Compile everything (GCC 9)
15m 12s