git: 9front

ref: b207d3da3c6d3c2a7668ebf89a1cbb0009983661
dir: /sys/src/libsat/

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