git: 9front

ref: a32f464057acca8738c631add1f8569691b179aa
dir: /sys/src/libsat/

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