git: 9front

ref: 8c4d884a49787bb9e52abd5dc0347110829d80cf
dir: /sys/src/libsat/

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