javabdd-announce — Low-traffic announcement of new releases.

[Javabdd-announce] Please let me introduce myself..., and can you please help me...?...

[Sarn U. <pol...@ya...>]

Please can you help me?
My name is Mr. Sarn Richard Ursell.
I am currently a student at Victoria University, a famous University here in Wellington, (I currently study mathematics, first year, level-100), -and I wish to learn programming in, as I have some WONDERFUL ideas for manipulating sound and picture information using Java.
I am told that this is a beautiful language, and, I can truly believe this.
Is it alright with you if I collaborate with you about these projects, and can you please help me with some algorithms, that I need-and-wish to use to apply to sound and picture information?
I can explain in more depth if you so desire,
Many thanks,
Sincerely,
Mr. Sarn Richard Ursell.

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

[Javabdd-announce] Sample Examples or Tutorial

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

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


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