This is a JavaScript version of Boolector. It was compiled with Emscripten.

To use it, enter a CNF formula in the SMTLIB format in the top box. Once you press "Solve", the result will be printed in the second textbox.

Instructions on how to build Boolector with Emscripten are available on GitHub.