Index of /bookone/code/smodels

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 WS_FTP.LOG              20-Mar-2003 17:36  1.0K  
 abcd                    20-Mar-2003 17:35   29   
 active-db/              20-Mar-2003 17:33    -   
 aggregates/             20-Mar-2003 17:33    -   
 ch1/                    20-Mar-2003 17:33    -   
 ch2/                    20-Mar-2003 17:33    -   
 ch3/                    20-Mar-2003 17:33    -   
 ch4/                    20-Mar-2003 17:33    -   
 ch6/                    20-Mar-2003 17:33    -   
 ch7/                    20-Mar-2003 17:33    -   
 ch8/                    20-Mar-2003 17:33    -   
 comb-auc/               20-Mar-2003 17:34    -   
 disj/                   20-Mar-2003 17:34    -   
 dl/                     20-Mar-2003 17:34    -   
 golog+/                 20-Mar-2003 17:34    -   
 logic-puzzles/          20-Mar-2003 17:34    -   
 onr.sm                  20-Mar-2003 17:35  692   
 party-seating/          20-Mar-2003 17:34    -   
 planning/               20-Mar-2003 17:35    -   
 resources/              20-Mar-2003 17:35    -   
 sch/                    20-Mar-2003 17:35    -   
 t1.sm                   20-Mar-2003 17:36  1.5M  
 temp/                   20-Mar-2003 17:35    -   
 test0.sm                20-Mar-2003 17:36   17   
 th-pr/                  20-Mar-2003 17:35    -