code: plan9front

ref: b67b2eeac8acf220d33c8e354fe17d8f1d1efdcc
dir: /sys/src/libsat/

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