Avoid half-reification for literal views

huub-solver · Oct 4, 2024 · 00d4cf7 · 00d4cf7
1 parent c5eceeb
commit 00d4cf7
Show file tree

Hide file tree

Showing 13 changed files with 4,046 additions and 3,940 deletions.
diff --git a/crates/fzn-huub/corpus/amaze3_2012_03_19.fzn.json b/crates/fzn-huub/corpus/amaze3_2012_03_19.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_la01.fzn.json b/crates/fzn-huub/corpus/jobshop_la01.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_la02.fzn.json b/crates/fzn-huub/corpus/jobshop_la02.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_la03.fzn.json b/crates/fzn-huub/corpus/jobshop_la03.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_la04.fzn.json b/crates/fzn-huub/corpus/jobshop_la04.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_la05.fzn.json b/crates/fzn-huub/corpus/jobshop_la05.fzn.json
diff --git a/crates/fzn-huub/corpus/jobshop_newspaper.fzn.json b/crates/fzn-huub/corpus/jobshop_newspaper.fzn.json