Version 1.8.0 Release

Major refactoring for future developments

• Python bindings now expose more of the underlying library (Configuration, Results, etc.):

from jkq.qcec import *

config = Configuration()
<...>  # set configuration options
results = verify(circ1, circ2, config)

• In analogy to the research, the following methods (config.method) can now be configured:
  • reference
  • G_I_Gp (default)
  • simulation
• The following strategies (config.strategy) are available for the method:
  • naive
  • proportional (default)
  • lookahead
  • compilationflow
• The following types of stimuli (config.stimuli_type) are available for the simulation-based method:
  • classical (default)
  • localquantum
  • globalquantum
• verify() now returns a Results instance instead of internally storing the result
• Printing of JSON (results.json()) or CSV information (results.csv()) is laid off to the results object of the equivalence check
• Runtime information is split into preprocessing and verification time
• Single-qubit gate fusion and SWAP reconstruction are enabled per default
• Statistics are included in the results per default