Check out nnsat (@nnsat.dd) on Linkme