Revert "preliminary support for MINLP"

This reverts commit 3e6444a1d2fa22b01fff8cd465ca340b5f5e8fbf.
preliminary support for MINLP