pub fn test_qap_solver(inputs: [FE; 4]) -> (FE, FE) {
    let c5 = &inputs[2] * &inputs[3];
    let c6 = (&inputs[0] + &inputs[1]) * c5.clone();
    (c5, c6)
}
This is a solver for the test qap
Inputs: c1,c2,c3,c4 circuit inputs
Outputs: c5 intermediate result, c6 result
examples/pinocchio/src/test_utils.rs