Satisfiable

Contains the result when the automated reasoning evaluation determines that the claims in the input could be either true or false depending on additional assumptions not provided in the input context.

Constructors

Link copied to clipboard

Properties

Inherited functions