git: 9front

ref: f3f4111f3e9f9fec452c9550c9c2bb5905c2f09d
dir: /sys/src/libsat/

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