[/sdf/plan9/dist/src/libsat/]
       
   DIR ..                                                                             
  TEXT debug.c                                            2019-Oct-05 00:35     2.9 KB
  TEXT impl.h                                             2019-Oct-05 00:35     2.7 KB
  TEXT misc.c                                             2019-Oct-05 00:35     3.4 KB
  TEXT mkfile                                             2019-Oct-05 00:35     0.3 KB
  TEXT satadd.c                                           2019-Oct-05 00:35     4.8 KB
  TEXT satget.c                                           2019-Oct-05 00:35     0.8 KB
  TEXT satmore.c                                          2019-Oct-05 00:35     0.5 KB
  TEXT satrange.c                                         2019-Oct-05 00:35     1.3 KB
  TEXT satsolve.c                                         2019-Oct-05 00:35    21.8 KB