git: 9front

ref: e75183a6ade44a900b008b2ccab0599a93cba956
dir: /sys/src/libsat/

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