Не зная большей части алгоритма DPLL, я бы порекомендовал также Python, но не по тем же причинам, что и tMC (здесь это не так актуально): я бы порекомендовал его из-за его легкого синтаксиса и замечательной простоты использования данных.структуры, такие как списки и словари.
Управляющие структуры напрямую отображаются в структуры C. Простые структуры данных могут отображаться в структуры и массивы C;более сложные могут потребовать C ++ STL (или эквиваленты C).Я бы порекомендовал не принимать никакого решения о переносе, пока код Python полностью не сформировался.