A B C D E F G I K L M O P R S T V

M

maxAllowedBitwidth() - Method in enum kodkod.engine.config.Options.IntEncoding

Returns the maximum bitwidth allowed by this encoding.

MiniSat - Class in kodkod.engine.satlab

Java wrapper for the MiniSat solver by Niklas Eén and Niklas Sörensson.

MiniSat() - Constructor for class kodkod.engine.satlab.MiniSat

Constructs a new MiniSAT wrapper.