git: 9front

ref: 24ca1f2ecfad34b6fdd85ae6a3eb8c3a7750f036
dir: /sys/src/libsat/

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