MinWeight implements a DPLL-based algorithm to find a minimal-weight model of a formula. The program can be run on this server by writing formula and weights in the text area below.