mstechly / vqf Goto Github PK

true_p=11; true_q=13; use_true_values=True; m=true_p*true_q

apply_preprocessing = True
preprocessing_verbose = True
optimization_verbose = False
if use_true_values:
    p_dict, q_dict, z_dict, clauses = create_clauses(m, true_p, true_q, apply_preprocessing, preprocessing_verbose)
else:
    p_dict, q_dict, z_dict, clauses = create_clauses(m, None, None, apply_preprocessing, preprocessing_verbose)

number_of_uknowns, number_of_carry_bits = calculate_number_of_unknowns(p_dict, q_dict, z_dict)
print("Number of unknowns:", number_of_uknowns)
print("Number of carry bits:", number_of_carry_bits)
if clauses[0] == 0 and len(set(clauses)) == 1:
    if number_of_uknowns == 0:
        p, q = decode_solution(p_dict, q_dict)
        print(f'found solution! {p}, {q}')