Add conda, arithmetic constraints