git: 9front

ref: 07feb20b191c41475358f3401027f80944a958d8
dir: /sys/src/libsat/

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