The following formulations currently can only be used with Pyomo, for a variety of reasons: - GBTBigMFormulation - LinearTreeGDPFormulation - LinearTreeHybridBigMFormulation - ReluComplementarityFormulation More OMLT formulations should work with other modeling languages.