Re: [Javabdd-announce] Sample Examples or Tutorial

[Jyotishman P. <jyo...@gm...>]

Hi John,

Thanks for your quick response. I looked at the N-queens sample that
you pointed to and also referred to its explanation in [1].
Unfortunately, I am still not clear how I can use the library to
create boolean expressions.

For example, assume I want to create the following expression:

NOT x1 /\ Not x2 /\ x3

Can you please show me some sample code by which this can be done ?

I will appreciate your reply.

Thanks,
- Jyoti


[1] http://www.itu.dk/people/hra/bdd97.ps




On 5/21/06, John Whaley <joe...@gm...> wrote:
> There currently isn't a beginner's tutorial, but you can take a look
> at something like the NQueens test:
>    http://javabdd.cvs.sourceforge.net/javabdd/JavaBDD_tests/highlevel/
>
> It is also helpful if you understand a bit about BDDs before using JavaBD=
D.
>
> -John
>
>
> On 5/20/06, Jyotishman Pathak <jyo...@gm...> wrote:
> > Hi,
> >
> > I am a newbie to your BDD library, and wondering if there are any
> > sample examples or a beginners tutorial that one could refer to ?
> >
> > Any helpful pointers will be appreciated.
> >
> > Thanks,
> > - Jyoti
> >
> >
> > --
> > Jyotishman Pathak
> > WWW: http://www.cs.iastate.edu/~jpathak
> >
> >
> > -------------------------------------------------------
> > Using Tomcat but need to do more? Need to support web services, securit=
y?
> > Get stuff done quickly with pre-integrated technology to make your job =
easier
> > Download IBM WebSphere Application Server v.1.0.1 based on Apache Geron=
imo
> > http://sel.as-us.falkag.net/sel?cmdlnk&kid=120709&bid&3057&dat=121642
> > _______________________________________________
> > Javabdd-announce mailing list
> > Jav...@li...
> > https://lists.sourceforge.net/lists/listinfo/javabdd-announce
> >
>


--=20
Jyotishman Pathak
WWW: http://www.cs.iastate.edu/~jpathak