symmetricSibs {dvir}R Documentation

Dataset: Symmetry examples

Description

A toy DVI dataset illustrating various forms of undecidability due to symmetries in the solutions.

Usage

symmetricSibs

Format

A dviData object with the following content:

Examples


symmetricSibs


[Package dvir version 3.3.0 Index]