These are the packages that would be merged, in order:

Calculating dependencies ... done!
Dependency resolution took 0.99 s (backtrack: 0/20).

[ebuild  N     ] sci-mathematics/btor2tools-1.0.0_pre20220518-r1::gentoo  USE="-examples" 86 KiB

Total: 1 package (1 new), Size of downloads: 86 KiB