AQFP optimization flow of the ASPDAC'21 paper

[lee30sonia]

This PR integrates the specialized algorithms for splitter- and buffer-aware MIG optimization targeting AQFP technology, presented in [1]. The experiment code to run the full optimization flow and the benchmark files can be found in this repository.

This PR also updates lorina and kitty.

[1] Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits, by E. Testa, S.-Y. Lee, H. Riener, and G. De Micheli, presented at ASPDAC 2021.

[coveralls]

Pull Request Test Coverage Report for Build 641008099

• 14 of 16 (87.5%) changed or added relevant lines in 3 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.006%) to 80.065%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
include/mockturtle/algorithms/resubstitution.hpp	6	8	75.0%

Totals
Change from base Build 636285238:	0.006%
Covered Lines:	10675
Relevant Lines:	13333

---

💛 - Coveralls

[PeiyanFlying]

when I run the command 'make aqfp_flow', I meet with trouble.
I have done the command 'git reset --hard 00e080b', and replace all the original 'experiments' file?

Could you please give some help? Many thanks

!

[lee30sonia]

when I run the command 'make aqfp_flow', I meet with trouble. I have done the command 'git reset --hard 00e080b', and replace all the original 'experiments' file?

Could you please give some help? Many thanks !

I believe you came from the ASPDAC'21 experiment repo. The correct version of mockturtle that matches with the code in that repo should be #456. It was a mistake in the readme and is fixed now.