git: 9front

ref: b8ade0f0e74db49b8d1686e29a5d3dabb3a2d93b
dir: /sys/src/libsat/

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