git: 9front

ref: 7d1d495e6d24bdd1bf6f72880c57c0e50317b165
dir: /sys/src/libsat/

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