On Monday, 16 September 2013 20:09:52 UTC+2, Aaron Meurer wrote:
>
> On Mon, Sep 16, 2013 at 5:56 AM, Moritz Beber
> >
> wrote:
> > Dear all,
> >
> > My question basically has two parts:
> >
> > 1.) I have a number of (a few thousand) log
Dear all,
(Sorry in case this is a double post, it seems to have vanished as far as I
can tell.)
I have a large number of boolean expressions (a few thousand) that each
only depend on a few symbols, but in total there are thousands of symbols
as well, and I know the truth values of each symbol
Dear all,
My question basically has two parts:
1.) I have a number of (a few thousand) logical expressions each consisting
of a handful of symbols (in total there are several thousand symbols as
well). Currently, I generate a dictionary (let's call it 'big_dict') with
the symbols and their tru
