cadical-skill

Listed

CaDiCaL 3.0.0 SAT solver API reference skill for Claude Code agents

plugin 0 stars 0 forks Updated 1 months ago

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

View on GitHub

Quality Score: 35/100

Stars 20%
0
Recency 20%
75
Manifest 20%
40
Documentation 15%
0
Issue Health 10%
80
License 10%
0
Description 5%
0

Details

Author
DRMacIver
Repository
DRMacIver/cadical-skill
Created
1 months ago
Last Updated
1 months ago
Language
Python
License
None