git: 9front

ref: b143811a53bf25824e74b7e6e6c2ee7af8c7a954
dir: /sys/src/libsat/

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