On 15 Nov., 00:41, "William Stein" <[EMAIL PROTECTED]> wrote:
> > * Industrial-strengthBooleancomputation
>
> I wonder if this is similar to PolyBoRi? Or if it is some formal
> logic think.
>
I wondered until today,
but now I got the answer:
http://www.wolfram.com/products/mathematica/newin7/content/IndustrialStrengthBooleanComputation/
Nothing like PolyBoRi, but also on top of decision diagrams
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---