git: 9front

ref: ad0bd0a3a58d42d7ed69d91b03a92631252f803a
dir: /sys/src/libsat/

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