The web interface is based on version 0.4β of MiniSmt. Due to licence limitations it does not provide the bit-vector back-end. Please download the sources for the full functionality. There also more options can be selected.

Version 0.4β comes with a few feature for integral domains: Using the unsatisfiable core provided by the SAT solver PicoSat, MiniSmt either determines unsatisfiability of the problem, or incrementally increases the number of bits during the transformation to SAT.

The number of initial bits as well as the time limit are configurable.