[logicprog]

PopOS. I don't use it anymore but it's basically Ubuntu but more stable/QA'd and without all the annoying decisions.