qbfl

Before it would be too late, you have to know that you can always come back on my researches (sorry, in french).

I present here my solver called qbfl, its features, its performances - yet quite modest because it's only its second version - and propose here an executable version (and the first one too), before I decide to give the source code.

For each suggestion councerning this site and my solver, or if you eventualy discover a Bug, please send me a mail.