r--r--r-- 5049/11 194 May 13 03:00 1989 constraint.make r--r--r-- 5049/11 46 May 9 18:49 1989 constraint.sf r--r--r-- 5049/11 11822 May 13 02:46 1989 edit.scm r--r--r-- 5049/11 1255 May 12 17:25 1989 example-queen4.scm r--r--r-- 5049/11 672 May 10 18:52 1989 example-temp.scm r--r--r-- 5049/11 6704 May 13 01:33 1989 nogood.scm r--r--r-- 5049/11 6377 May 13 02:10 1989 premis.scm r--r--r-- 5049/11 4638 May 13 02:38 1989 prims.scm r--r--r-- 5049/11 3181 May 11 02:15 1989 print.scm r--r--r-- 5049/11 12899 May 13 02:31 1989 sched.scm r--r--r-- 5049/11 15660 May 13 02:41 1989 struct.scm r--r--r-- 5049/11 2917 May 13 03:08 1989 user.scm r--r--r-- 5049/11 3246 May 10 18:10 1989 utils.scm r--r--r-- 5049/11 7611 May 11 04:20 1989 what.scm r--r--r-- 5049/11 5751 May 11 04:24 1989 why.scm