diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-27 02:59:19 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-27 02:59:19 +0200 |
commit | 2fdbe809530817d49b0fa08066343cd2f13f52ff (patch) | |
tree | c9440942621ae89064f75dd7da8de0c0d3601236 /gradle/wrapper | |
parent | fix: strong represenative election algorithm (diff) | |
download | refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.gz refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.zst refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.zip |
refactor: disable contains refinement
Providing an efficient refinement calculus would be too difficult at this point,
and contains is much more useful as a constraint in predicates that as an
assertions anyway.
Diffstat (limited to 'gradle/wrapper')
0 files changed, 0 insertions, 0 deletions