Skip to content
STIMSMITH

ASP encoding for strength-2 CMCA finding

CodeArtifact
First seen 7/7/2026
Last seen 7/7/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
Constrained Mixed Covering Array implements → 100% 1e
The encoding is specifically for finding strength-2 CMCAs.
Answer Set Programming uses → 100% 1e
The encoding is written in ASP.
catnap ← part of 85% 1e
The CMCA finding encoding is part of catnap's encoding suite.