Uses of Package
org.mcp.sat

Packages that use org.mcp.sat

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

Classes in org.mcp.sat used by org.mcp.sat

Class	Description
MutableSATInteger	MutableSATInteger represents a mutable bit-vector for SAT-based integer encoding.
SATDomain	SATDomain wraps a SATInteger around a finite collection of values and provides an API for working directly with those values in SAT-based symbolic computations.
SATInteger	Abstract base class for SAT-based integer encodings.