Fix the build for `arm64`, `ppc64le` and `s390x`

boschmitt / tweedledum

C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits

MIT License

98 stars 36 forks source link

Fix the build for `arm64`, `ppc64le` and `s390x` #154

Closed boschmitt closed 3 years ago

boschmitt commented 3 years ago

Description

Fix the build for arm64, ppc64le and s390x. There is a problem on bsat2, which mockturtle uses for equivalent checking. I change the solver to be used, but I should further investigate the reasons and maybe integrate newer SAT solvers.