The Web Interface is based on version 1.02 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.

Currently the web interface searches for a model using two settings in parallel. One uses 3 (4) bits for variables (intermediate results) while the other one allows 33 (50) bits.

The time is limited to 60 seconds.