[Javabdd-devel] How to encode integers in BDDs with JavaBDD

[Isabel M. <im....@go...>]

Hi!

I’m a student of computer science and at the moment I’m working on my bachelor thesis. 

For this reason I have to deal with relations of integers (like R={(3,2), (2,0)}, stored in BDDs. I’m implementing in Java. 

Unfortunately I do not understand how this works in JavaBDD, and I read that this library is the best one for implementing BDDs in Java. 
Perhaps you could have a look on the following question on stack overflow: http://stackoverflow.com/questions/21354935/how-to-encode-integers-in-bdds

You would help me a lot :)!

Thank you so much!!!

Best regards,
Isabel