Index of /usr/local/pub/pga/Ramsey

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 What_is_this/                            03-Apr-1997 14:36    -   
 ans                                      08-Sep-1991 17:03  857K  
 default-params                           08-Sep-1991 17:03  405   
 dump_nodes.c                             08-Sep-1991 17:03  1.5K  
 init.c                                   08-Sep-1991 17:03  1.0K  
 init13.c                                 08-Sep-1991 17:03  953   
 init14.c                                 08-Sep-1991 17:03  1.0K  
 integ.c                                  08-Sep-1991 17:03  373   
 makefile                                 08-Sep-1991 17:03  495   
 params                                   08-Sep-1991 17:03  808   
 permute.c                                08-Sep-1991 17:03  562   
 ram.c                                    08-Sep-1991 17:03  416   
 ram.h                                    08-Sep-1991 17:03  686   
 relax.c                                  08-Sep-1991 17:03  2.7K