git: 9front

ref: f4c733880aee7a1224d3d2ebb3bd2c6d8859cbd1
dir: /sys/src/libsat/

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