git: 9front

ref: ea30527c8880b24a4e59fc2c16383f48ffc10300
dir: /sys/src/libsat/

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