git: 9front

ref: dcc4a5f5cd64195932f735e5b2ba04f0d8ef7d16
dir: /sys/src/libsat/

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