genpark-cdcl-sat-two-watched-literals-skill

Conflict-Driven Clause Learning (CDCL) 2-Watched Literals (2WL) clause indexer accelerating Boolean constraint propagation.

graph TD
    A[Agent Runtime / Execution Stack] --> B[genpark-cdcl-sat-two-watched-literals-skill]
    B --> C[Zero Dependency Engine]
    C --> D[Standard Library Primitives]

Loading

Features

• Strict 0 Pip Dependencies: Built completely using the Python Standard Library.
• Fast Execution & Verification: Includes client wrapper, MCP server, and verified test suites.
• Agentic AI Ready: Exposes standard MCP tools for continuous LLM integration.

Installation & Quickstart

git clone https://github.com/alphaparkinc/genpark-cdcl-sat-two-watched-literals-skill.git
cd genpark-cdcl-sat-two-watched-literals-skill
python example_usage.py