RE : Manipulation of boolean expressions



Robert, your package has some good basic features, and Beshenov's package
has some nice advanced functions.  There are some additional things I'd
like to implement, and fortunately with (L)GPL, I can mix and match things
from both of those packages and add some more.

              -s


On Mon, Jul 1, 2013 at 6:38 PM, Robert Dodier <robert.dodier at gmail.com>wrote:

> 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
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>