プログラムの名前をどうするか

昨年は sat-d という名前でやっていた

D 言語で書いたから

でもこれって D 言語の世界の中では名前がデカすぎる気がする（D 言語での代表的 SAT ソルバーみたいな風になってしまう気がする）

安直に smt-d というような名前を付けていいのだろうか？という疑念が自分の中から生じたので、このページができた

名前の候補

smt-d