search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

add `__hash__` to contracts/terms #272

Closed iincer closed 1 year ago

iincer commented 1 year ago

I propose to add __hash__ to IoContract or Polyhedra contract so I can add contracts in sets. (It was working before, so I don't know what happened)

Originally posted by @pierg in https://github.com/FormalSystems/pacti/pull/210#pullrequestreview-1340571748