Yo.

I wrote some documentation on SolVBE's internals. They are available in pdf form on the sourceforge page ( http://sourceforge.net/projects/solvbe/ ). While not perfect, they should be enough to give some kind of insight on what solvbe does and why.

Cheers,
Sol