Generating a 715-Qubit Circuit and Solving Other SAT Problems with Classiq

"(x0 != x1) and" 
"(x2 + 2 != x3) and" 
"(x3 != x4) and" 
"(x1 != x3) and"
"(x3 != x5) and"  
"(x5 != x6) and" 
"(x0 != x2) and"
"(x1 != x5) and" 
"(x4 != x6) and" 
"(x3 == 2) and" 
"(x2 + x4 + x3 == 3)"

from classiq import ModelDesigner
from classiq.interface.generator.arith.arithmetic import RegisterUserInput, Arithmetic
from classiq.interface.generator.model import Constraints, Preferences
from classiq.interface.generator.model.preferences.preferences import (
    CustomHardwareSettings,
)

EXPRESSION = "(x0 != x1) and" + \
             "(x2 + 2 != x3) and" + \
             "(x3 != x4) and " + \
             "(x3 != x1) and " + \
             "(x5 != x6) and" + \
             "(x0 != x2) and" + \
             "(x1 != x5) and" + \
             "(x4 != x6) and" + \
             "(x3 == 2) and" + \
             "(((x2 + x4) + x3)%4 == 3)"


oracle_params = Arithmetic(
    expression=EXPRESSION,
    definitions=dict(
        x0=RegisterUserInput(size=1),
        x1=RegisterUserInput(size=1),
        x2=RegisterUserInput(size=1),
        x3=RegisterUserInput(size=2),
        x4=RegisterUserInput(size=1),
        x5=RegisterUserInput(size=1),
        x6=RegisterUserInput(size=1)
    ),
    uncomputation_method="naive",
)

custom_hardware_settings = CustomHardwareSettings(basis_gates=["cx", "u"])
preferences = Preferences(custom_hardware_settings=custom_hardware_settings)

model_designer = ModelDesigner(constraints=Constraints(optimization_parameter='cx'), preferences=preferences)
model_designer.Arithmetic(params=oracle_params)

circuit = model_designer.synthesize()

circuit.show_interactive()
print(f"{circuit.transpiled_circuit.depth=}")
print(f"{circuit.transpiled_circuit.count_ops['cx']=}")

circuit.transpiled_circuit.depth=197
circuit.transpiled_circuit.count_ops['cx']=190

from classiq import ModelDesigner
from classiq.interface.generator.arith.arithmetic import RegisterUserInput, Arithmetic

EXPRESSION = "(((x0 or ~x1 or ~x8) and (~x7 or ~x5 or x6)) and ((~x4 or ~x3 or ~x0) and (x0 or x3 or x7)) and ((~x5 or x0 or ~x2) and (x0 or ~x7 or ~x9)) and ((~x5 or x4 or x6) and (x4 or ~x8 or x9)) and ((x6 or ~x5 or ~x7) and (x8 or ~x6 or ~x4))) and" + \
             "(((x5 or ~x3 or ~x7) and (x7 or x1 or ~x4)) and ((~x5 or ~x6 or x2) and (~x8 or ~x0 or ~x4)) and ((x4 or ~x8 or ~x5) and (~x0 or x6 or ~x7)) and ((x4 or x2 or ~x8) and (~x6 or ~x9 or x0)) and ((x9 or ~x0 or x7) and (~x7 or x5 or ~x9))) and" + \
             "(((x6 or ~x0 or ~x9) and (x5 or ~x8 or x1)) and ((x3 or ~x6 or x2) and (x7 or ~x5 or x8)) and ((x8 or ~x6 or ~x3) and (x3 or ~x1 or x4)) and ((~x3 or x9 or ~x4) and (~x8 or x1 or ~x4)) and ((~x6 or x3 or x9) and (x4 or x6 or x3))) and" + \
             "(((~x0 or x8 or x5) and (~x6 or x7 or ~x4)) and ((x9 or ~x8 or ~x4) and (~x4 or x2 or ~x0)) and ((x7 or x6 or ~x5) and (x7 or ~x2 or x8)) and ((x5 or ~x6 or ~x7) and (~x2 or x3 or ~x0)) and ((x2 or x3 or x5) and (~x3 or x8 or x5))) and" + \
             "(((x6 or ~x1 or ~x9) and (~x0 or ~x1 or x4)) and ((x3 or x7 or ~x2) and (x4 or x2 or ~x0)) and ((~x0 or ~x5 or x4) and (~x3 or ~x7 or x1)) and ((~x0 or x3 or ~x7) and (x9 or ~x5 or ~x8)) and ((~x6 or ~x7 or x0) and (~x6 or x1 or x8))) and" + \
             "(((x8 or ~x4 or x1) and (x4 or x2 or ~x3)) and ((~x0 or ~x2 or ~x5) and (~x0 or ~x8 or ~x4)) and ((~x6 or ~x9 or ~x0) and (x4 or x0 or x9)) and ((x8 or ~x7 or x9) and (x0 or ~x1 or ~x2)) and ((~x7 or x2 or x5) and (x6 or x8 or x3))) and" + \
             "(((~x4 or x6 or x8) and (x9 or ~x6 or ~x4)) and ((~x9 or ~x6 or x2) and (~x2 or x7 or x6)) and ((x3 or ~x9 or x1) and (x8 or ~x7 or ~x9)) and ((x2 or ~x1 or x0) and (x2 or x6 or ~x4)) and ((~x3 or ~x6 or ~x8) and (~x0 or ~x4 or x2))) and" + \
             "(((x2 or ~x0 or x8) and (~x8 or ~x5 or ~x9)) and ((x5 or ~x8 or ~x9) and (x1 or ~x3 or ~x0)) and ((~x6 or x9 or x7) and (~x9 or x1 or x2)) and ((x0 or ~x1 or ~x8) and (x8 or ~x6 or x3)) and ((~x8 or x1 or ~x2) and (x4 or ~x1 or x0))) and" + \
             "(((x9 or x3 or ~x0) and (x5 or ~x9 or x2)) and ((~x0 or x5 or ~x9) and (x1 or x8 or ~x5)) and ((~x7 or ~x0 or x4) and (~x1 or x7 or ~x5)) and ((x8 or ~x0 or ~x6) and (~x7 or x5 or x9)) and ((x5 or ~x6 or ~x8) and (~x6 or ~x9 or x3))) and" + \
             "(((~x9 or ~x1 or x3) and (x2 or ~x5 or ~x6)) and ((~x2 or x1 or ~x4) and (x0 or x8 or ~x9)) and ((~x4 or x1 or x7) and (x8 or ~x4 or ~x0)) and ((x1 or ~x0 or ~x4) and (~x9 or x8 or ~x1)) and ((~x5 or ~x1 or x8) and (~x4 or ~x3 or x8)))"



oracle_params = Arithmetic(
    expression=EXPRESSION,
    definitions=dict(
        x0=RegisterUserInput(size=1),
        x1=RegisterUserInput(size=1),
        x2=RegisterUserInput(size=1),
        x3=RegisterUserInput(size=1),
        x4=RegisterUserInput(size=1),
        x5=RegisterUserInput(size=1),
        x6=RegisterUserInput(size=1),
        x7=RegisterUserInput(size=1),
        x8=RegisterUserInput(size=1),
        x9=RegisterUserInput(size=1),
    ),
    uncomputation_method="naive",
)

model_designer = ModelDesigner()
model_designer.Arithmetic(params=oracle_params)

circuit = model_designer.synthesize()

circuit.show_interactive()