dcheck

Modules

arbitrary

module dcheck.arbitrary

Module defines routines for generating testing sets.

constraint

module dcheck.constraint

Module defines routines for checking constraints in automated mode.

d

module dcheck.d

Fast way to import all modules from dcheck package.

generator

module dcheck.generator

maybe

module dcheck.maybe

• dcheck
• test