git: 9front

ref: 31a1f93e63b9244b373ccdd6df83c3141ac5f4df
dir: /sys/src/libsat/

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