Alpha-Park/genpark-dpll-sat-solver-boolean-satisfiability-skill

GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.

语言：Python · GitHub 星标：9 · Fork：0

话题：agentic-ai · constraint-satisfaction · dpll · first-order-logic · genpark-skill · mcp · model-checking · python-stdlib

在 GitHub 上查看原仓库