[logicprog]

I don't use DeepSeek, but I prefer Kimi and GLM to closed models for most of my work.