caverify: Fast Strength-t Coverage Verification for Covering Arrays

Verifies that an array covers every t-way interaction, the certificate check for covering arrays, using compiled C code with optional 'OpenMP' threading. Supports uniform and mixed-level (per-column symbol counts) arrays. Missing values mark flexible ("don't care") entries, which contribute nothing to coverage, so a verified array remains covering however they are filled. Designed to be easy to embed in other packages: a single C file with a registered .Call entry point and one R wrapper.

Version:	0.2.0
Imports:	parallel
Published:	2026-09-20
DOI:	10.32614/CRAN.package.caverify
Author:	Christopher Smolen [aut, cre]
Maintainer:	Christopher Smolen <chrispbsmolen at gmail.com>
BugReports:	https://github.com/chrispbsmolen/ca-tools/issues
License:	MIT + file LICENSE
URL:	https://github.com/chrispbsmolen/ca-tools
NeedsCompilation:	yes
Language:	en-US
Materials:	NEWS
CRAN checks:	caverify results

Documentation:

Reference manual:

caverify.html , caverify.pdf

Downloads:

Package source:	caverify_0.2.0.tar.gz
Windows binaries:	r-devel: caverify_0.2.0.zip, r-release: caverify_0.2.0.zip, r-oldrel: caverify_0.2.0.zip
macOS binaries:	r-release (arm64): caverify_0.2.0.tgz, r-oldrel (arm64): caverify_0.2.0.tgz, r-release (x86_64): caverify_0.2.0.tgz, r-oldrel (x86_64): caverify_0.2.0.tgz
Old sources:	caverify archive

Reverse dependencies:

Reverse imports:

CAs

Linking:

Please use the canonical form https://CRAN.R-project.org/package=caverify to link to this page.