git: 9front

ref: 5b1296ecf83f725c895e2e43c1b86a93ca16bfdc
dir: /sys/src/libsat/

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