Fixed constraint computation