Satisfiable

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

Constructors

Link copied to clipboard

Properties

Inherited functions