Skillget

genpark-constraint-satisfaction-ac3-backtracking-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • 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 Gecti
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

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.

Yorumlar (0)

Sonuc bulunamadi