A GAMS programozási nyelv

Helyesség

A GAMS nem támogatja a helyességbizonyítást.