git: 9front

ref: 80b838b795b258935675ff00268b4c7edf3b0a20
dir: /sys/src/libsat/

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