On 2013-12-12, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Alexey Beshenov wrote a package with some useful functions a few years ago,
> but I can't find it any longer.
I think OP is referring to that package. The link
http://beshenov.ru/maxima/logic/ is dead -- beshenov.ru is occupied by a
domain squatter. However, Alexey Beshenov's other web site cadadr.org
seems to be active. Maybe someone can try to contact him.
There is also https://github.com/andrejv/discrete.mac which might be
relevant here.
best
Robert Dodier