Test lattice identity holding in lattice of congruences of automaton
Цель проекта - помощь при исследовании свойств полигонов над полугруппами, унаров, решёток конгруэнций и т.д.
Проект содержит две версии: Rust версию и Haskell версию.
Haskell версия на данный момент не разрабатывается, активно разрабатывается только Rust версия.