feat(up): Numeric planning support #95

arbimo · 2023-06-09T14:55:42Z

No description provided.

…Fluent` immediately available in it.

…lanning support is complete.

Shi-Raida

edae6a9 is the commit that causes issues on the HDDL problems.

Note: support for parameters/variables is still missing.

Related to #836243e5

Shi-Raida · 2023-08-18T08:42:04Z

I needed to create the VarRef::ONE variable in order to fix all issues.

In particular, it was not possible to return an InvalidUpdate in the set_ub() function.
The InvalidUpdate needs a literal which is formed with the SignedVar and the upper bound.
However, in the case of a constant term, there was no variable and so no SignedVar.

With this new variable always equals to 1, all terms of a linear sum can be treated the same way.

arbimo and others added 23 commits June 8, 2023 16:39

feat(solver): Add bounds to int type.

b1034c8

chore(build): Put all regex dependency in workspace.

8ab603b

feat(up): Allow parsing bounded integer types.

8ac9e41

chore(planning): Rename StateFun to Fluent

3a50715

chore(planning): Refactor state variable representation to have the `…

949b109

…Fluent` immediately available in it.

feat(up): Add support for parsing (not solving) simple numeric problems.

4168013

chore(up): Add features that will be supported after simple numeric p…

0c0a054

…lanning support is complete.

docs(resources): draft

3a11167

docs(resources): only consider instantaneous conditions/effects

d4203be

feat(encode): convert resource constraints into linear sums

1902456

refactor(lin sum): replace or_zero by a lit

730e347

chore(encode): use lit in lin sum of resource constraints

4f34335

chore(encode): debug num resource constraints

d7cafbd

chore(encode): filter non present effects and conditions

77a858e

chore(encode): adapt coherence, support and mutex for increases

73c61d4

fix(encode): support constraint for numeric state variables

439890c

chore(reif): eval of lin constraint

c46f7aa

feat(linear): optional var to create constant terms

2273819

fix(encode): stop skipping unbounded integers

687189f

fix(model): bind entailed literal to tautology of expression scope

edae6a9

chore(merge): 'master' into 'numeric-planning'

7516e9a

fix(causal): format of state variables

10a01ba

chore(up): update to last version

490a703

Shi-Raida reviewed Jun 26, 2023

View reviewed changes

Shi-Raida added 6 commits June 27, 2023 14:40

fix(model): use core reification with tautology for lin constr

395dce1

fix(model): skip non-present constraints during assignment validation

11b19ad

fix(ci): update upf proto version

b903a92

chore(up): update support kind for solver and validator

dbb0499

fix(val): adaptation for upf scheduling

0f18adb

chore(up): update supported kind for solver

0a20b4b

Shi-Raida and others added 21 commits July 11, 2023 14:09

refactor: cp tests

9e2dc4b

fix(cp): set current value of a constant as upper bound

83910c8

test(cp): multiple variables

96ced3e

test(cp): check propagation and ub setting results

0ed079a

test(cp): check negative and null factors

1068f08

test(cp): check sum with literals

4cc8f24

chore: ignore coverage files

7e59903

chore: ignore .env file

bfe6260

test(cp): explanations

a8300c8

chore(cp): try to force non-precense of elem when ub cannot be set

836243e

chore(merge): 'master' into 'numeric-planning'

3c19ee9

fix(solver): Conversion from FAtom to LinearSum was erroneous.

d70e17d

feat(up): Allow outputing scheduling solutions..

014d888

Note: support for parameters/variables is still missing.

chore(solver): make LinearTerm attributes private

034445c

test(linear): add unit tests

f6ae0f5

chore(linear|simplify): group constant terms into upper bound

85ee951

feat(var): create variable ONE

8a1c137

chore(linear): use ONE variable for constants

5dae98d

fix(solver): simplified linear sum in constraint posting

1ba7c6f

fix(grpc): plan generation result on timeout

1533aaa

fix: cargo clippy warning

2f69afc

Shi-Raida force-pushed the numeric-planning branch from 93aa19e to 2f69afc Compare August 17, 2023 12:18

Shi-Raida added 4 commits August 18, 2023 08:57

chore(linear|propagator): filter watches

af50b74

chore(solver): use simplified linear sum

aeb4963

fix(cp): set non-precense rather than decide it

f864812

Related to #836243e5

chore(linear|propagator): watch precense literal

988316f

Shi-Raida self-assigned this Aug 18, 2023

arbimo merged commit 623a342 into master Sep 1, 2023
10 checks passed

Shi-Raida deleted the numeric-planning branch September 4, 2023 08:50

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(up): Numeric planning support #95

feat(up): Numeric planning support #95

arbimo commented Jun 9, 2023

Shi-Raida left a comment •

edited

Loading

Shi-Raida commented Aug 18, 2023

feat(up): Numeric planning support #95

feat(up): Numeric planning support #95

Conversation

arbimo commented Jun 9, 2023

Shi-Raida left a comment • edited Loading

Choose a reason for hiding this comment

Shi-Raida commented Aug 18, 2023

Shi-Raida left a comment •

edited

Loading