git: 9front

ref: 584fc456ef5a56035d11e61eb76e5edf94991beb
dir: /sys/src/libsat/

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