git: 9front

ref: fb8543ab0c86a6ec39a91cb0436f9319ff34f7cf
dir: /sys/src/libsat/

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