git: 9front

ref: b6e1166b3cd34820d5df00fb5a1247fcef0362ea
dir: /sys/src/libsat/

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