Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Ранее я описывал формальную верификацию на примере задачи о Волке, Козе, и капусте.
Ее решение и стало основой символьной виртуальной машины.

Символьные вычисления представляют собой способ одновременного выполнения программы на широком диапазоне …