# Dual feasibility constraints, kkt conditions

**URL:** <https://discourse.julialang.org/t/dual-feasibility-constraints-kkt-conditions/50575>\
**Category:** New to Julia\
**Created:** [November 22, 2020, 9:57am UTC](https://discourse.julialang.org/t/dual-feasibility-constraints-kkt-conditions/50575 "2020-11-22T09:57:16Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![AliRafieePour](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/alirafieepour/32/19430_2.png) [@AliRafieePour](https://discourse.julialang.org/u/AliRafieePour)\
**Post date:** [November 22, 2020, 9:57am UTC](https://discourse.julialang.org/t/dual-feasibility-constraints-kkt-conditions/50575/1 "2020-11-22T09:57:16Z")

</div>

Hi everyone,

I’m quite new to Julia and was looking to automatically generate dual feasibility constraints, KKT conditions, strong duality constraints and add them to the initial primal problem for further steps. I have seen Dualization.jl and BilevelOptimization.jl and noticed they somehow generate these KKT conditions for solving their bilevel problems. I’m wondering if I can have access to these functions through either these packages or other ones. I actually went through these packages’ codes but couldn’t figure out how to extract the parts I want. Can anybody advise me on the path I’d better go through for that? Is hard coding these constraints the right approach?

Thank you in advance for any suggestions,