git: 9front

ref: ffd861914d95867c4b7d3a738d4c56b4e386a319
dir: /sys/src/libsat/

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