Constraint Solver Definition

• its name

• a list of CSs it depends upon

• a signature containing

  • type family constants (constraint predicates)
  • term constants for constructing proof objects

• sets of countably-many special constants

Each CS must specify:

Previous slide

Next slide

Back to first slide

View graphic version