git: 9front

ref: 69fc35c0530f6c2f96d9d9ffcaf9b314b300333e
dir: /sys/src/libsat/

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