git: 9front

ref: cba6e7889d85ffcb211bfd56a5a753b78bed7f81
dir: /sys/src/libsat/

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