git: 9front

ref: db6156d82b9cd2db2248d448955a9848e89c2e23
dir: /sys/src/libsat/

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