constraint list, tests, readme