git: 9front

ref: aa683be1b29b3767e07ae55b07dcf47aaa9e5b41
dir: /sys/src/libsat/

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