git: 9front

ref: d122c3546c784d7e17af59c1a1a03a61bb6bcc98
dir: /sys/src/libsat/

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