conjure-cp/conjure-v2.4.0.zip
The previewer is not showing all the files.
conjure-cp-conjure-a5ebf2a
.github
workflows
docker-publish.yml
2.4 kB
.gitignore
839 Bytes
.tm_properties
29 Bytes
.vimrc
91 Bytes
CHANGELOG.md
2.3 kB
CONTRIBUTORS.md
426 Bytes
LICENSE
1.5 kB
Makefile
5.0 kB
README.md
2.2 kB
azure-pipelines.yml
1.8 kB
conjure-cp.cabal
19.3 kB
docs
.tm_properties
63 Bytes
BNFLexer.py
3.4 kB
EssenceLexer.py
2.8 kB
Makefile
8.0 kB
authors.sh
46 Bytes
cli.rst
3.7 kB
conf.py
12.7 kB
conjure-help.html
44.9 kB
conjure-help.txt
34.7 kB
contact.rst
1.2 kB
essence.rst
48.7 kB
features.rst
9.2 kB
index.rst
448 Bytes
installation.rst
3.6 kB
introduction.rst
1.5 kB
make.bat
7.3 kB
refs.bib
1.7 kB
requirements.txt
93 Bytes
tutorials
BIBD.rst
9.8 kB
Groups.rst
7.5 kB
LabelledConnectedGraphs.rst
17.6 kB
NumberPuzzle.rst
3.8 kB
NurseRostering.rst
8.6 kB
futoshiki
Futoshiki.rst
5.0 kB
example.png
15.7 kB
futoshiki.essence
517 Bytes
futoshiki.essence-param
216 Bytes
knapsack.rst
5.1 kB
knapsack_generator
KnapGen.rst
8.9 kB
generator.essence
1.1 kB
items.param
27 Bytes
knapsack.essence
259 Bytes
simple_perm
simple_perm.param
15 Bytes
simple_perm.rst
5.8 kB
simple_perm_checker.essence
313 Bytes
simple_perm_checker_false.essence-param
77 Bytes
simple_perm_checker_true.essence-param
77 Bytes
simple_perm_generator.essence
289 Bytes
simple_perm_generator.essence-param
36 Bytes
tutorials.rst
491 Bytes
welcome.rst
485 Bytes
zreferences.rst
100 Bytes
etc
build
clean.sh
467 Bytes
copy-conjure-branch.sh
273 Bytes
docker
Dockerfile
4.0 kB
README.md
449 Bytes
sudoku.essence
509 Bytes
sudoku.param
295 Bytes
download.sh
425 Bytes
freeze-deps.sh
414 Bytes
gen_Expression.hs
2.2 kB
gen_Operator.hs
4.5 kB
ghc_urls.txt
1.3 kB
install-bc_minisat_all.sh
854 Bytes
install-boolector.sh
809 Bytes
install-cadical.sh
799 Bytes
install-chuffed.sh
600 Bytes
install-gecode.sh
598 Bytes
install-glasgow-subgraph-solver.sh
551 Bytes
install-glucose.sh
975 Bytes
install-gnu-parallel.sh
615 Bytes
install-kissat.sh
465 Bytes
install-lingeling.sh
1.0 kB
install-minion.sh
1.1 kB
install-nbc_minisat_all.sh
868 Bytes
install-open-wbo.sh
1.0 kB
install-oscar-cbls.sh
752 Bytes
install-savilerow.sh
1.7 kB
install-stack.sh
1.4 kB
install-yices.sh
1.2 kB
install-z3.sh
830 Bytes
install.sh
562 Bytes
record-coverage.sh
2.3 kB
silent-wrapper.sh
629 Bytes
test-parallel.sh
3.0 kB
version.sh
1.3 kB
conjure.figlet
520 Bytes
dev
gen.mset.attributes.hs
345 Bytes
gen.set.attributes.hs
320 Bytes
ghc-optimisation-flags
info.txt
5.2 kB
options.hs
3.7 kB
live_build
271 Bytes
live_compile
356 Bytes
live_diff
243 Bytes
live_hgstatus
230 Bytes
live_uptests
269 Bytes
profile.sh
636 Bytes
watch-helpers
actionOnSingleFile
496 Bytes
ghcOnSingleFile
240 Bytes
hlintOnSingleFile
250 Bytes
unescapelines.rb
357 Bytes
upTestOnSingleFile
543 Bytes
discussion
Essence Operators.txt
1.8 kB
EssenceAttributes.hs
2.5 kB
TODOs
2.3 kB
bindings.txt
837 Bytes
diffs.txt
1.0 kB
notes.txt
2.6 kB
empty.param
21 Bytes
figlets
do.sh
239 Bytes
index-footer.html
24 Bytes
index-header.html
326 Bytes
one.sh
298 Bytes
hs-deps
stack-8.4.yaml
208 Bytes
stack-8.6.yaml
144 Bytes
htags
285 Bytes
htags-vi
56 Bytes
mkparam
662 Bytes
other
copy_tests.sh
434 Bytes
identical_params.rb
1.8 kB
save_choices.sh
419 Bytes
rules
refns
horizontal
DotLeq-bools.rule
102 Bytes
DotLeq-ints.rule
86 Bytes
DotLt-bools.rule
100 Bytes
DotLt-ints.rule
84 Bytes
bubbly-quantification.rule
137 Bytes
dontcare
abstract.rule
841 Bytes
matrix.rule
112 Bytes
flip-lexgeq.rule
36 Bytes
flip-lexgt.rule
34 Bytes
function
toRelation-apply.rule
90 Bytes
function-apply-eq-1.rule
112 Bytes
function-apply-eq-2.rule
112 Bytes
function-card.rule
72 Bytes
function-defined-quantified.rule
179 Bytes
function-eq.rule
142 Bytes
function-intersect-toSet.rule
148 Bytes
function-inverse.rule
226 Bytes
function-preImage-quantified.rule
206 Bytes
function-range-quantified.rule
178 Bytes
functions-setlike
card.rule
71 Bytes
in.rule
79 Bytes
subset-both.rule
134 Bytes
subset-first.rule
119 Bytes
subset-second.rule
119 Bytes
subsetEq-both.rule
138 Bytes
subsetEq-first.rule
123 Bytes
subsetEq-second.rule
123 Bytes
supset-both.rule
134 Bytes
supset-first.rule
119 Bytes
supset-second.rule
119 Bytes
supsetEq-both.rule
138 Bytes
supsetEq-first.rule
123 Bytes
supsetEq-second.rule
123 Bytes
toSet.rule
115 Bytes
matrix
DotLeq.rule
330 Bytes
DotLt.rule
328 Bytes
allDiff.rule
171 Bytes
freq.rule
128 Bytes
hist.rule
34 Bytes
mset
card.rule
68 Bytes
eq-to-subsets.rule
121 Bytes
freq-to-sum.rule
87 Bytes
in.rule
79 Bytes
intersect-exists.rule
174 Bytes
intersect-forAll.rule
174 Bytes
intersect-sum.rule
270 Bytes
subset-to-subsetEq.rule
120 Bytes
subseteq-to-quantified.rule
206 Bytes
supset-to-subset.rule
106 Bytes
supseteq-to-subseteq.rule
110 Bytes
toset-exists.rule
123 Bytes
toset-forAll.rule
123 Bytes
toset-quantified-intersect.rule
175 Bytes
toset-quantified.rule
277 Bytes
union-exists.rule
201 Bytes
union-forAll.rule
201 Bytes
union-sum.rule
456 Bytes
neq-to-eq.rule
383 Bytes
partition-eq.rule
203 Bytes
relations-setlike
card.rule
63 Bytes
eq.rule
109 Bytes
in.rule
71 Bytes
neq.rule
111 Bytes
quantified.rule
108 Bytes
subset-both.rule
118 Bytes
subset-first.rule
111 Bytes
subset-second.rule
111 Bytes
subsetEq-both.rule
122 Bytes
subsetEq-first.rule
115 Bytes
subsetEq-second.rule
115 Bytes
supset-both.rule
118 Bytes
supset-first.rule
111 Bytes
supset-second.rule
111 Bytes
supsetEq-both.rule
122 Bytes
supsetEq-first.rule
115 Bytes
supsetEq-second.rule
115 Bytes
set
card-fixed-size.rule
68 Bytes
card.rule
67 Bytes
eq-better.rule
388 Bytes
eq-to-subsets.rule
119 Bytes
freq-to-in.rule
218 Bytes
in-to-quantified.rule
79 Bytes
intersect-quantifier.rule
170 Bytes
max-union.rule
116 Bytes
max.rule
203 Bytes
min-union.rule
116 Bytes
min.rule
203 Bytes
minus-quantifier.rule
161 Bytes
quantification-subset.rule
138 Bytes
quantification-subsetEq.rule
139 Bytes
subset-to-subsetEq.rule
118 Bytes
subset-to-subsetEq2.rule
121 Bytes
subseteq-to-quantified.rule
118 Bytes
supset-to-subset.rule
104 Bytes
supseteq-to-subseteq.rule
108 Bytes
toMSet-to-quantified.rule
121 Bytes
union-exists.rule
194 Bytes
union-forAll.rule
194 Bytes
union-sum.rule
293 Bytes
toInt-eq-0.rule
30 Bytes
toInt-eq-1.rule
29 Bytes
toInt-geq-1.rule
30 Bytes
vertical
Function~1D
DotLeq.rule
111 Bytes
DotLt.rule
109 Bytes
image.rule
114 Bytes
toMSet-quantified.rule
212 Bytes
toSet-exists.rule
331 Bytes
toSet-forAll.rule
331 Bytes
toSet-sum.rule
322 Bytes
Function~1DPartial
DotLeq.rule
125 Bytes
DotLt.rule
123 Bytes
defined.rule
133 Bytes
image.rule
154 Bytes
toMSet-quantified.rule
219 Bytes
toSet-quantified.rule
350 Bytes
Function~AsReln
DotLeq.rule
119 Bytes
DotLt.rule
117 Bytes
image-bool.rule
154 Bytes
image-function0.rule
219 Bytes
image-function1.rule
261 Bytes
image-function2.rule
263 Bytes
image-int.rule
149 Bytes
image-mset.rule
246 Bytes
image-set.rule
336 Bytes
image-tuple.rule
165 Bytes
quantified.rule
171 Bytes
toMSet-quantified.rule
173 Bytes
Function~IntPair2D
DotLeq.rule
125 Bytes
DotLt.rule
123 Bytes
image.rule
149 Bytes
toMSet-quantified.rule
127 Bytes
toSet-quantified.rule
361 Bytes
Function~IntPair2DPartial
DotLeq.rule
139 Bytes
DotLt.rule
137 Bytes
image.rule
193 Bytes
toMSet-quantified.rule
134 Bytes
toSet-quantified.rule
335 Bytes
MSet~Explicit
DotLeq.rule
115 Bytes
DotLt.rule
113 Bytes
quantified.rule
238 Bytes
MSet~ExplicitVarSize
DotLeq.rule
129 Bytes
DotLt.rule
127 Bytes
exists.rule
266 Bytes
forAll.rule
266 Bytes
sum.rule
252 Bytes
MSet~Occurrence
DotLeq.rule
119 Bytes
DotLt.rule
117 Bytes
exists.rule
229 Bytes
forAll.rule
228 Bytes
sum.rule
213 Bytes
Partition~SetOfSets
DotLeq.rule
208 Bytes
DotLt.rule
206 Bytes
quantification-over-part.rule
159 Bytes
quantification-over-part2.rule
178 Bytes
Relation~AsSet
DotLeq.rule
186 Bytes
DotLt.rule
184 Bytes
relation-RelationAsSet-toMSet.rule
127 Bytes
relation-RelationAsSet-toSet.rule
118 Bytes
Relation~IntMatrix2
DotLeq.rule
127 Bytes
DotLt.rule
125 Bytes
apply.rule
147 Bytes
leftProject.rule
384 Bytes
rightProject.rule
384 Bytes
toSet.rule
366 Bytes
Relation~IntMatrix3
DotLeq.rule
127 Bytes
DotLt.rule
125 Bytes
apply.rule
156 Bytes
project_1_1.rule
496 Bytes
project_1_2.rule
496 Bytes
project_1_3.rule
496 Bytes
project_2_12.rule
463 Bytes
project_2_13.rule
463 Bytes
project_2_23.rule
463 Bytes
toSet.rule
451 Bytes
Set~Explicit
DotLeq.rule
113 Bytes
DotLt.rule
111 Bytes
eq.rule
375 Bytes
neq.rule
378 Bytes
quantified-subsetEq-2.rule
284 Bytes
quantified-subsetEq-3.rule
434 Bytes
quantified-subsetEq-4.rule
517 Bytes
quantified.rule
205 Bytes
quantified2lt.rule
222 Bytes
quantified2neq.rule
224 Bytes
Set~ExplicitVarSize
DotLeq.rule
212 Bytes
DotLt.rule
866 Bytes
quantified.rule
230 Bytes
Set~ExplicitVarSizeWithDefault
DotLeq.rule
285 Bytes
DotLt.rule
281 Bytes
quantified.rule
322 Bytes
Set~ExplicitVarSizeWithMarker
DotLeq.rule
156 Bytes
DotLt.rule
983 Bytes
card.rule
103 Bytes
quantified.rule
246 Bytes
Set~Gent
DotLeq.rule
105 Bytes
DotLt.rule
103 Bytes
in.rule
70 Bytes
quantified.rule
216 Bytes
Set~Occurrence
DotLeq.rule
117 Bytes
DotLt.rule
115 Bytes
in.rule
78 Bytes
quantified.rule
219 Bytes
channelling
SetExplicitVarSize-SetExplicitVarSizeWithMarker.rule
752 Bytes
SetExplicitVarSizeWithMarker-SetExplicitVarSize.rule
259 Bytes
reprs
Function~1D.repr
1.2 kB
Function~1DPartial.repr
3.1 kB
Function~AsReln.repr
1.9 kB
Function~AsReln_withMaxSize.repr
2.0 kB
Function~AsReln_withMinSize.repr
2.0 kB
Function~AsReln_withSize.repr
2.0 kB
Function~IntPair2D.repr
1.1 kB
Function~IntPair2DPartial.repr
251 Bytes
MSet~Explicit.repr
5.0 kB
MSet~ExplicitVarSize.repr
848 Bytes
MSet~Occurrence.repr
5.7 kB
Partition~SetOfSets-0.repr
473 Bytes
Partition~SetOfSets-1.repr
510 Bytes
Partition~SetOfSets-2.repr
1.7 kB
Partition~SetOfSets-3.repr
481 Bytes
Relation~IntMatrix2.repr
1.1 kB
Relation~IntMatrix3.repr
1.3 kB
Set~Explicit.repr
140 Bytes
Set~ExplicitVarSize.repr
1.8 kB
Set~ExplicitVarSizeWithDefault.repr
726 Bytes
Set~ExplicitVarSizeWithMarker.repr
1.1 kB
Set~Gent.repr
517 Bytes
Set~Occurrence.repr
1.6 kB
savilerow
lib
trove.jar
2.5 MB
savilerow
2.4 kB
savilerow.bat
94 Bytes
savilerow.jar
820.7 kB
syntax
textmate
Essence.tmbundle
Preferences
line-comment.tmPreferences
570 Bytes
Syntaxes
Essence.tmLanguage
2.8 kB
info.plist
455 Bytes
vim
essence
ftdetect
essence.vim
395 Bytes
ftplugin
essence.vim
825 Bytes
snippets
essence.snippets
454 Bytes
syntax
essence.vim
3.5 kB
keywords
551 Bytes
experiments
dontcare
Function-Partial
01
01.essence
66 Bytes
02
02.essence
82 Bytes
03
03.essence
73 Bytes
MSet-VarSize
01-optimisation
01.essence
106 Bytes
01-satisfaction
01.essence
80 Bytes
02-optimisation
02.essence
166 Bytes
02-satisfaction
02.essence
127 Bytes
03-optimisation
03.essence
129 Bytes
03-satisfaction
03.essence
79 Bytes
04-optimisation
04.essence
129 Bytes
04-satisfaction
04.essence
90 Bytes
05-optimisation
05.essence
143 Bytes
05-satisfaction
05.essence
104 Bytes
06-optimisation
06.essence
170 Bytes
06-satisfaction
06.essence
118 Bytes
Nested-Types
01
01.essence
196 Bytes
02
02.essence
195 Bytes
Partition-VarSize
01
01.essence
73 Bytes
Relation-VarSize
01
01.essence
92 Bytes
02
02.essence
122 Bytes
Set-VarSize
01-optimisation
01.essence
105 Bytes
01-satisfaction
01.essence
79 Bytes
02-optimisation
02.essence
153 Bytes
02-satisfaction
02.essence
113 Bytes
03-optimisation
03.essence
127 Bytes
03-satisfaction
03.essence
77 Bytes
04-optimisation
04.essence
127 Bytes
04-satisfaction
04.essence
88 Bytes
05-optimisation
05.essence
141 Bytes
05-satisfaction
05.essence
102 Bytes
06-optimisation
06.essence
167 Bytes
06-satisfaction
06.essence
115 Bytes
all-combinations
create_essences.hs
1.6 kB
allsols
01-relation
01.essence
83 Bytes
expected.txt
23 Bytes
02-relation-partition
02.essence
114 Bytes
expected.txt
24 Bytes
README
248 Bytes
dominating-queens
04.param
38 Bytes
05.param
38 Bytes
06.param
38 Bytes
07.param
38 Bytes
08.param
38 Bytes
09.param
38 Bytes
10.param
38 Bytes
11.param
38 Bytes
12.param
38 Bytes
13.param
38 Bytes
14.param
38 Bytes
15.param
38 Bytes
dominating-queens.essence
800 Bytes
mkParams.sh
182 Bytes
numbers
MinionNodes.txt
20.2 kB
MinionSolveTime.txt
22.1 kB
MinionTimeOut.txt
3.2 kB
SavileRowTotalTime.txt
22.9 kB
forTable_minionNodes.txt
4.9 kB
forTable_minionSolutions.txt
5.1 kB
forTable_minionTimedOut.txt
1.1 kB
recompute.sh
13.1 kB
remote
build_db.hs
1.1 kB
build_db.sh
893 Bytes
recomputation
commands.sh
2.1 kB
noted.txt
181 Bytes
scaling
mset-fixed
00int.essence
57 Bytes
01set.essence
76 Bytes
02set.essence
93 Bytes
03set.essence
110 Bytes
04set.essence
127 Bytes
05set.essence
144 Bytes
06set.essence
161 Bytes
07set.essence
178 Bytes
08set.essence
195 Bytes
09set.essence
212 Bytes
10set.essence
229 Bytes
mset-maxOccur
00int.essence
57 Bytes
01set.essence
80 Bytes
02set.essence
101 Bytes
03set.essence
122 Bytes
04set.essence
143 Bytes
05set.essence
164 Bytes
06set.essence
185 Bytes
07set.essence
206 Bytes
08set.essence
227 Bytes
09set.essence
248 Bytes
10set.essence
269 Bytes
mset-maxSize
00int.essence
57 Bytes
01set.essence
79 Bytes
02set.essence
99 Bytes
03set.essence
119 Bytes
04set.essence
139 Bytes
05set.essence
159 Bytes
06set.essence
179 Bytes
07set.essence
199 Bytes
08set.essence
219 Bytes
09set.essence
239 Bytes
10set.essence
259 Bytes
numberOfCons
gen.hs
637 Bytes
run.sh
126 Bytes
run.sh
188 Bytes
set-fixed
00int.essence
57 Bytes
01set.essence
75 Bytes
02set.essence
91 Bytes
03set.essence
107 Bytes
04set.essence
123 Bytes
05set.essence
139 Bytes
06set.essence
155 Bytes
07set.essence
171 Bytes
08set.essence
187 Bytes
09set.essence
203 Bytes
10set.essence
219 Bytes
set-maxSize
00int.essence
57 Bytes
01set.essence
78 Bytes
02set.essence
97 Bytes
03set.essence
116 Bytes
04set.essence
135 Bytes
05set.essence
154 Bytes
06set.essence
173 Bytes
07set.essence
192 Bytes
08set.essence
211 Bytes
09set.essence
230 Bytes
10set.essence
249 Bytes
type-strengthening
attribute-acquisition
nested1-mset
mset-maxOccur
1.essence
143 Bytes
1.essence.expected
89 Bytes
mset-maxSize
1.essence
117 Bytes
1.essence.expected
91 Bytes
2.essence
130 Bytes
2.essence.expected
91 Bytes
mset-minOccur
1.essence
143 Bytes
1.essence.expected
89 Bytes
mset-minOccur-maxOccur
1.essence
215 Bytes
1.essence.expected
101 Bytes
mset-minOccur-minSize
1.essence
181 Bytes
1.essence.expected
103 Bytes
2.essence
194 Bytes
2.essence.expected
103 Bytes
mset-minSize
1.essence
117 Bytes
1.essence.expected
91 Bytes
2.essence
130 Bytes
2.essence.expected
91 Bytes
mset-minSize-maxSize
1.essence
152 Bytes
1.essence.expected
102 Bytes
2.essence
178 Bytes
2.essence.expected
102 Bytes
mset-size
1.essence
116 Bytes
1.essence.expected
88 Bytes
2.essence
129 Bytes
2.essence.expected
88 Bytes
partition-complete
1.essence
130 Bytes
1.essence.expected
84 Bytes
partition-maxNumParts
1.essence
116 Bytes
1.essence.expected
89 Bytes
partition-maxPartSize
1.essence
132 Bytes
1.essence.expected
90 Bytes
partition-minNumParts
1.essence
116 Bytes
1.essence.expected
90 Bytes
partition-minPartSize
1.essence
145 Bytes
1.essence.expected
90 Bytes
partition-numParts
1.essence
115 Bytes
1.essence.expected
87 Bytes
partition-partSize
1.essence
131 Bytes
1.essence.expected
87 Bytes
partition-regular
1.essence
135 Bytes
1.essence.expected
83 Bytes
relation-maxSize
1.essence
134 Bytes
1.essence.expected
108 Bytes
2.essence
147 Bytes
2.essence.expected
108 Bytes
relation-minSize
1.essence
134 Bytes
1.essence.expected
108 Bytes
2.essence
147 Bytes
2.essence.expected
108 Bytes
relation-minSize-maxSize
1.essence
169 Bytes
1.essence.expected
120 Bytes
2.essence
170 Bytes
2.essence.expected
108 Bytes
relation-size
1.essence
133 Bytes
1.essence.expected
105 Bytes
2.essence
146 Bytes
2.essence.expected
105 Bytes
3.essence
171 Bytes
3.essence.expected
191 Bytes
set-maxSize
1.essence
103 Bytes
1.essence.expected
78 Bytes
2.essence
116 Bytes
2.essence.expected
78 Bytes
set-minSize
1.essence
103 Bytes
1.essence.expected
78 Bytes
2.essence
116 Bytes
2.essence.expected
78 Bytes
set-minSize-maxSize
1.essence
138 Bytes
1.essence.expected
89 Bytes
2.essence
164 Bytes
2.essence.expected
89 Bytes
set-size
1.essence
102 Bytes
1.essence.expected
75 Bytes
2.essence
115 Bytes
2.essence.expected
75 Bytes
3.essence
142 Bytes
3.essence.expected
129 Bytes
nested1-set
mset-maxOccur
1.essence
142 Bytes
1.essence.expected
88 Bytes
mset-maxSize
1.essence
116 Bytes
1.essence.expected
90 Bytes
2.essence
129 Bytes
2.essence.expected
90 Bytes
mset-minOccur
1.essence
142 Bytes
1.essence.expected
88 Bytes
mset-minOccur-maxOccur
1.essence
214 Bytes
1.essence.expected
100 Bytes
mset-minOccur-minSize
1.essence
180 Bytes
1.essence.expected
102 Bytes
2.essence
193 Bytes
2.essence.expected
102 Bytes
mset-minSize
1.essence
116 Bytes
1.essence.expected
90 Bytes
2.essence
129 Bytes
2.essence.expected
90 Bytes
mset-minSize-maxSize
1.essence
151 Bytes
1.essence.expected
101 Bytes
2.essence
177 Bytes
2.essence.expected
101 Bytes
mset-size
1.essence
115 Bytes
1.essence.expected
87 Bytes
2.essence
128 Bytes
2.essence.expected
87 Bytes
partition-complete
1.essence
129 Bytes
1.essence.expected
83 Bytes
partition-maxNumParts
1.essence
115 Bytes
1.essence.expected
88 Bytes
partition-maxPartSize
1.essence
131 Bytes
1.essence.expected
89 Bytes
partition-minNumParts
1.essence
115 Bytes
1.essence.expected
89 Bytes
partition-minPartSize
1.essence
144 Bytes
1.essence.expected
89 Bytes
partition-numParts
1.essence
114 Bytes
1.essence.expected
86 Bytes
partition-partSize
1.essence
130 Bytes
1.essence.expected
86 Bytes
partition-regular
1.essence
134 Bytes
1.essence.expected
82 Bytes
relation-maxSize
1.essence
133 Bytes
1.essence.expected
107 Bytes
2.essence
146 Bytes
2.essence.expected
107 Bytes
relation-minSize
1.essence
133 Bytes
1.essence.expected
107 Bytes
2.essence
146 Bytes
2.essence.expected
107 Bytes
relation-minSize-maxSize
1.essence
168 Bytes
1.essence.expected
119 Bytes
2.essence
169 Bytes
2.essence.expected
107 Bytes
relation-size
1.essence
132 Bytes
1.essence.expected
104 Bytes
2.essence
145 Bytes
2.essence.expected
104 Bytes
3.essence
170 Bytes
3.essence.expected
189 Bytes
set-maxSize
1.essence
102 Bytes
1.essence.expected
77 Bytes
2.essence
115 Bytes
2.essence.expected
77 Bytes
set-minSize
1.essence
102 Bytes
1.essence.expected
77 Bytes
2.essence
115 Bytes
2.essence.expected
77 Bytes
set-minSize-maxSize
1.essence
137 Bytes
1.essence.expected
88 Bytes
2.essence
163 Bytes
2.essence.expected
88 Bytes
set-size
1.essence
101 Bytes
1.essence.expected
74 Bytes
2.essence
114 Bytes
2.essence.expected
74 Bytes
3.essence
141 Bytes
3.essence.expected
127 Bytes
nested2-set-mset
set-mset
1.essence
129 Bytes
1.essence.expected
78 Bytes
nested2-set-set
mset-maxOccur
1.essence
178 Bytes
1.essence.expected
105 Bytes
mset-maxSize
1.essence
152 Bytes
1.essence.expected
107 Bytes
2.essence
165 Bytes
2.essence.expected
107 Bytes
mset-minOccur
1.essence
178 Bytes
1.essence.expected
105 Bytes
mset-minOccur-maxOccur
1.essence
269 Bytes
1.essence.expected
117 Bytes
mset-minOccur-minSize
1.essence
235 Bytes
1.essence.expected
119 Bytes
2.essence
248 Bytes
2.essence.expected
119 Bytes
mset-minSize
1.essence
152 Bytes
1.essence.expected
107 Bytes
2.essence
165 Bytes
2.essence.expected
107 Bytes
mset-minSize-maxSize
1.essence
206 Bytes
1.essence.expected
118 Bytes
2.essence
232 Bytes
2.essence.expected
118 Bytes
mset-size
1.essence
151 Bytes
1.essence.expected
104 Bytes
2.essence
164 Bytes
2.essence.expected
104 Bytes
partition-complete
1.essence
165 Bytes
1.essence.expected
100 Bytes
partition-maxNumParts
1.essence
151 Bytes
1.essence.expected
105 Bytes
partition-maxPartSize
1.essence
167 Bytes
1.essence.expected
106 Bytes
partition-minNumParts
1.essence
151 Bytes
1.essence.expected
105 Bytes
partition-minPartSize
1.essence
180 Bytes
1.essence.expected
105 Bytes
partition-numParts
1.essence
150 Bytes
1.essence.expected
102 Bytes
partition-partSize
1.essence
166 Bytes
1.essence.expected
102 Bytes
partition-regular
1.essence
170 Bytes
1.essence.expected
99 Bytes
relation-maxSize
1.essence
169 Bytes
1.essence.expected
124 Bytes
2.essence
182 Bytes
2.essence.expected
124 Bytes
relation-minSize
1.essence
169 Bytes
1.essence.expected
124 Bytes
2.essence
182 Bytes
2.essence.expected
124 Bytes
relation-minSize-maxSize
1.essence
223 Bytes
1.essence.expected
136 Bytes
2.essence
205 Bytes
2.essence.expected
124 Bytes
relation-size
1.essence
168 Bytes
1.essence.expected
121 Bytes
2.essence
181 Bytes
2.essence.expected
121 Bytes
3.essence
226 Bytes
3.essence.expected
223 Bytes
set-maxSize
1.essence
138 Bytes
1.essence.expected
94 Bytes
2.essence
151 Bytes
2.essence.expected
94 Bytes
set-minSize
1.essence
138 Bytes
1.essence.expected
94 Bytes
2.essence
151 Bytes
2.essence.expected
94 Bytes
set-minSize-maxSize
1.essence
192 Bytes
1.essence.expected
105 Bytes
2.essence
218 Bytes
2.essence.expected
105 Bytes
set-size
1.essence
137 Bytes
1.essence.expected
91 Bytes
2.essence
150 Bytes
2.essence.expected
91 Bytes
3.essence
197 Bytes
3.essence.expected
161 Bytes
not-nested
function-total
1.essence
112 Bytes
1.essence.expected
120 Bytes
mset-maxOccur
1.essence
108 Bytes
1.essence.expected
71 Bytes
mset-maxSize
1.essence
82 Bytes
1.essence.expected
73 Bytes
2.essence
95 Bytes
2.essence.expected
73 Bytes
mset-minOccur
1.essence
108 Bytes
1.essence.expected
71 Bytes
mset-minOccur-maxOccur
1.essence
163 Bytes
1.essence.expected
83 Bytes
mset-minOccur-minSize
1.essence
129 Bytes
1.essence.expected
85 Bytes
2.essence
142 Bytes
2.essence.expected
85 Bytes
mset-minSize
1.essence
82 Bytes
1.essence.expected
73 Bytes
2.essence
95 Bytes
2.essence.expected
73 Bytes
mset-minSize-maxSize
1.essence
92 Bytes
1.essence.expected
84 Bytes
2.essence
118 Bytes
2.essence.expected
84 Bytes
mset-size
1.essence
81 Bytes
1.essence.expected
70 Bytes
2.essence
94 Bytes
2.essence.expected
70 Bytes
partition-complete
1.essence
95 Bytes
1.essence.expected
66 Bytes
partition-maxNumParts
1.essence
81 Bytes
1.essence.expected
72 Bytes
partition-maxPartSize
1.essence
97 Bytes
1.essence.expected
72 Bytes
partition-minNumParts
1.essence
81 Bytes
1.essence.expected
72 Bytes
partition-minPartSize
1.essence
110 Bytes
1.essence.expected
72 Bytes
partition-numParts
1.essence
80 Bytes
1.essence.expected
69 Bytes
partition-partSize
1.essence
96 Bytes
1.essence.expected
69 Bytes
partition-regular
1.essence
100 Bytes
1.essence.expected
65 Bytes
relation-maxSize
1.essence
99 Bytes
1.essence.expected
91 Bytes
2.essence
112 Bytes
2.essence.expected
91 Bytes
relation-minSize
1.essence
99 Bytes
1.essence.expected
91 Bytes
2.essence
112 Bytes
2.essence.expected
91 Bytes
relation-minSize-maxSize
1.essence
109 Bytes
1.essence.expected
102 Bytes
2.essence
135 Bytes
2.essence.expected
102 Bytes
relation-size
1.essence
98 Bytes
1.essence.expected
88 Bytes
2.essence
111 Bytes
2.essence.expected
88 Bytes
3.essence
110 Bytes
3.essence.expected
156 Bytes
set-maxSize
1.essence
68 Bytes