The HTML client software for minisats