New constraints, added defined-constraints, updated README.