git: 9front

ref: eb4f514a94fdfb05ea0c8ce98cd6bac153c8b3f6
dir: /sys/src/libsat/

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