Issues

• MILP with CBC and Classic returns cost None; pareto-incremental crashes

  QuantumFIT/milq#110 · Filter by author ondrik opened on Oct 22, 2026

• RUS Pareto plot says T-count for a caller's gate set that isn't T-optimal

  QuantumFIT/milq#109 · Filter by author ondrik opened on Oct 18, 2026

• pareto-incremental deletes <out>_recovery.qasm also in non-RUS runs

  QuantumFIT/milq#108 · Filter by author ondrik opened on Oct 18, 2026

• MILP FiveTuple equivalence relies on big-M rows that solver tolerances can relax

  bug
  QuantumFIT/milq#104 · Filter by author jkhav opened on Oct 17, 2026

• Read QASM with a dedicated package and accept different APIs

  enhancement
  QuantumFIT/milq#101 · Filter by author jkhav opened on Oct 17, 2026

• pySMT portfolio on Python 3.14: the solvers MILQ registers are not available in the child processes

  QuantumFIT/milq#93 · Filter by author ondrik opened on Oct 14, 2026

• pySMT portfolio with Classic fails with EOFError: z3's model cannot be pickled

  QuantumFIT/milq#92 · Filter by author ondrik opened on Oct 14, 2026

• A second pySMT synthesis in the same process fails with SolverRedefinitionError

  bug
  QuantumFIT/milq#90 · Filter by author ondrik opened on Oct 13, 2026

• Logging: every Synthesizer truncates synth.log and warnings never reach the console

  bug
  QuantumFIT/milq#86 · Filter by author ondrik opened on Oct 13, 2026

• milq exits 0 on failure and prints tracebacks for user errors

  bug
  QuantumFIT/milq#85 · Filter by author ondrik opened on Oct 13, 2026

• Number classes lose k or mutate their operands

  bug
  QuantumFIT/milq#82 · Filter by author ondrik opened on Oct 13, 2026

• Generator helpers silently do the wrong thing outside SMT mode

  bug
  QuantumFIT/milq#81 · Filter by author ondrik opened on Oct 13, 2026

• Jamiolkowski mode writes the output circuit on 2n qubits

  bug
  QuantumFIT/milq#80 · Filter by author ondrik opened on Oct 13, 2026

• pareto-incremental: timeouts leak solvers, worker errors discard the front

  bug
  QuantumFIT/milq#78 · Filter by author ondrik opened on Oct 13, 2026

• Solver processes leak or deadlock

  bug
  QuantumFIT/milq#77 · Filter by author ondrik opened on Oct 13, 2026

• Solver answers unknown, errors and crashes are misreported

  bug
  QuantumFIT/milq#76 · Filter by author ondrik opened on Oct 13, 2026

• RUS recovery always uses Gurobi; cvc5 incremental RUS crashes

  bug
  QuantumFIT/milq#75 · Filter by author ondrik opened on Oct 13, 2026

• RUS with several ancillas or extra qubits gives wrong recoveries

  bug
  QuantumFIT/milq#74 · Filter by author ondrik opened on Oct 13, 2026

• Returned vectors are read from solver models and come back wrong

  bug
  QuantumFIT/milq#73 · Filter by author ondrik opened on Oct 13, 2026

• Cost-based search is wrong with gate weights

  bug
  QuantumFIT/milq#72 · Filter by author ondrik opened on Oct 13, 2026

• End-of-circuit measurements: zero-probability outcomes and the norm bound make synthesis fail

  bug
  QuantumFIT/milq#70 · Filter by author ondrik opened on Oct 13, 2026

• MILP/Gurobi state bounds ignore the input state

  bug
  QuantumFIT/milq#69 · Filter by author ondrik opened on Oct 13, 2026
  1

• MILP big-M constants are too small, so CBC results are not gate-count optimal

  bug
  QuantumFIT/milq#68 · Filter by author ondrik opened on Oct 13, 2026

• Approximate synthesis (-ap) accepts wrong circuits and rejects exact ones

  bug
  QuantumFIT/milq#66 · Filter by author ondrik opened on Oct 13, 2026

• FiveTuple equivalence is unsound or incomplete when the k gap exceeds max_k

  bug
  QuantumFIT/milq#65 · Filter by author ondrik opened on Oct 13, 2026