Skillget

genpark-constraint-satisfaction-ac3-backtracking-skill

mcp
Security Audit
Warn
Health Warn
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 8 GitHub stars
Code Pass
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Pass
  • Permissions — No dangerous permissions requested

No AI report is available for this listing yet.

SUMMARY

GenPark AI Agent Skill - Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) backtracking search.

README.md

GenPark Constraint Satisfaction AC-3 Backtracking Skill

Constraint Satisfaction Problem (CSP) solver implementing Arc Consistency AC-3 and Minimum Remaining Values (MRV) search.

Read more at GenPark and the GenPark MCP Catalog.

graph TD
    A[CSP Variables & Domains] --> B[AC-3 Arc Consistency Revision]
    B --> C{Any Domain Empty?}
    C -->|Yes| D[Inconsistent CSP: No Solution]
    C -->|No| E[MRV Variable Selection]
    E --> F[Backtracking Search with Conflict Checks]
    F --> G[Complete Valid Assignment]

Features

  • AC-3 binary constraint domain pruning.
  • Minimum Remaining Values (MRV) variable selection heuristic.
  • Pure Python standard library.

Reviews (0)

No results found