agentsclimarketplace
Sign in

Smt solver interface

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/smt-solver-interface

Interface with SMT solvers for verification and synthesisFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill smt-solver-interface

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.2 KB, 150 tokens by cl100k_base, as published. Nobody here has run it

SMT Solver Interface

Purpose

Provides expert guidance on using SMT solvers for automated reasoning, verification, and program synthesis.

Capabilities

  • Z3 query generation
  • CVC5 interface
  • Theory selection guidance
  • Model extraction
  • Unsat core analysis
  • Incremental solving

Usage Guidelines

  1. Encoding: Encode problem in SMT-LIB format
  2. Theory Selection: Choose appropriate theories
  3. Solving: Run SMT solver
  4. Model Extraction: Extract satisfying assignments
  5. Debugging: Analyze unsat cores for debugging

Tools/Libraries

  • Z3
  • CVC5
  • Boolector
  • Yices

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.