git: 9front

ref: df15d65ee232cab4cd075acf53b0070775df2594
dir: /sys/src/libsat/

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