Skill
Agent
Search skills...
⌘
K
Explore
Docs
Trending
Collections
AI Tools
Generate SKILL.md
Format Converter
Skill Improver
AI Search
View All Tools →
Submit
Results for "cdcl-t"
"cdcl-t"
Claude Code
Claude Desktop
GitHub Copilot
Cursor
Windsurf
Cline
Zed
JetBrains
📄
SKILL.md
🤖
CLAUDE.md
⚡
Claude Commands
📐
.cursorrules
📐
Cursor Rules
🕹️
AGENTS.md
🧬
codex.md
🏄
.windsurfrules
🔧
.clinerules
🧑✈️
Copilot Instructions
AI Search
All
Development
Operations
Data
Product
Marketing
Customer
Design
Sales
Top
Trending
Hot
Latest
1
skills found
c-cube
/
Sidekick
26
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
universal
cdcl-t
congruence-closure
formal-methods
+4
5
Updated 18d ago