git: 9front

ref: c0bb334ab6e553f9a1ede3a022de93ad2dc2a4dd
dir: /sys/src/libsat/

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