Is there any way to solve a containg Binvary variables Nonconvex problem?

By replacing @constraint() with @NLconstraint() where nonconvex terms are, the model can be solved by Lindoapi, the solution is the same as the one obtained from Gurobi, while KNITRO fails and report the model is infeasible.