git: 9front

ref: f893a5c76c01b42275f2fec73843b507a84fa065
dir: /sys/src/libsat/

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