Welcome User's manual Features Downloads Experimental Results Back on my researches

Version Franšaise

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.

Letombe Florian