Uses of Class
org.mcp.sat.SATInteger

Packages that use SATInteger

Package	Description
org.mcp.sat	SAT backend support for MCP symbolic domains and bit-vector encodings.

Uses of SATInteger in org.mcp.sat

Subclasses of SATInteger in org.mcp.sat

Modifier and Type	Class	Description
final class	MutableSATInteger	MutableSATInteger represents a mutable bit-vector for SAT-based integer encoding.