[bddbddb-devel] Using the solver within another application

[Luke S. <luk...@gm...>]

I have noticed that the emphasis has been on using bddbddb as a commandline
tool.  However, I need to use it as part of a larger application.  This
means populating the domains and EDB predicates via direct method calls as
opposed to loading bdd and map files.  Is bddbddb not intended to be used in
this way?  Are there any gotchas that I should be aware of?  I have already
encountered one bug when using bddbddb in this way, which I submitted as a
bug report, but otherwise it bddbddb seems to work when used as an API.