git: 9front

ref: d0e12e8d04693aebfb3f4d9c59851e7f5d147bd2
dir: /sys/src/libsat/

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