On 2013-06-28, laurent couraud <l.couraud at gmail.com> wrote:
> I remember only boolsimp from Robert Dodier
> You can find it in: share\maxima\5.xx.y\share\contrib\boolsimp
Sadly, it is very rudimentary. I have not checked, but I suspect
Beshenov's package is more extensive.
best
Robert Dodier