Integration of Ivanti and Check Point VPN solutions with Defender

Has anyone integrated VPN solutions from Ivanti (Connect Secure) or Check Point (R81.10)?