git: 9front

ref: c6da3d74a2572ee993ee4734e8650c75079e0197
dir: /sys/src/libsat/

debug.c
impl.h
misc.c
mkfile
satadd.c
satget.c
satmore.c
satrange.c
satsolve.c