[newbie] comparing logical expressions
- Subject: [newbie] comparing logical expressions
- From: Robert Dodier
- Date: Fri, 13 Dec 2013 18:28:03 +0000 (UTC)
On 2013-12-12, Marco Verpelli <mverpelli at alice.it> wrote:
> If you really needed it can be found here:
>
> http://cs.swan.ac.uk/~csoliver/ok-sat-library/OKplatform/ExternalSources/sources/Maxima/logic-mac-2.11.tar.bz2
Thanks for the tip. I have taken the liberty of committing that package
to maxima/share.
best,
Robert Dodier