mcp 1.0 API
Packages
Package
Description
BDD-based symbolic primitives adapted for MCP network-policy reasoning.
Lightweight IPv4 data model types used by symbolic encodings.
Core abstractions for the MCP symbolic engine.
SAT backend support for MCP symbolic domains and bit-vector encodings.
General utility helpers for MCP modules.
Type system for MCP symbolic variables.