git: 9front

ref: 626eb6de0f82e40f432e7b22a02a1040202d03d5
dir: /sys/src/libsat/

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