Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feat(val): support scheduling problems #100

Merged
merged 115 commits into from
Sep 1, 2023
Merged

Feat(val): support scheduling problems #100

merged 115 commits into from
Sep 1, 2023

Conversation

Shi-Raida
Copy link
Contributor

No description provided.

arbimo and others added 30 commits June 8, 2023 16:39
@arbimo
feat(solver): Add bounds to int type.
b1034c8
@arbimo
chore(build): Put all regex dependency in workspace.
8ab603b
@arbimo
feat(up): Allow parsing bounded integer types.
8ac9e41
@arbimo
chore(planning): Rename StateFun to Fluent
3a50715
@arbimo
chore(planning): Refactor state variable representation to have the `…
949b109 
…Fluent` immediately available in it.
@arbimo
feat(up): Add support for parsing (not solving) simple numeric problems.
4168013
@arbimo
chore(up): Add features that will be supported after simple numeric p…
0c0a054 
…lanning support is complete.
@Shi-Raida
docs(resources): draft
3a11167
@Shi-Raida
docs(resources): only consider instantaneous conditions/effects
d4203be
@Shi-Raida
feat(encode): convert resource constraints into linear sums
1902456
@Shi-Raida
refactor(lin sum): replace or_zero by a lit
730e347
@Shi-Raida
chore(encode): use lit in lin sum of resource constraints
4f34335
@Shi-Raida
chore(encode): debug num resource constraints
d7cafbd
@Shi-Raida
chore(encode): filter non present effects and conditions
77a858e
@Shi-Raida
chore(encode): adapt coherence, support and mutex for increases
73c61d4
@Shi-Raida
fix(encode): support constraint for numeric state variables
439890c
@Shi-Raida
chore(reif): eval of lin constraint
c46f7aa
@Shi-Raida
feat(linear): optional var to create constant terms
2273819
@Shi-Raida
fix(encode): stop skipping unbounded integers
687189f
@Shi-Raida
fix(model): bind entailed literal to tautology of expression scope
edae6a9
@Shi-Raida
chore(merge): 'master' into 'numeric-planning'
7516e9a
@Shi-Raida
fix(causal): format of state variables
10a01ba
@Shi-Raida
chore(up): update to last version
490a703
@Shi-Raida
fix(model): use core reification with tautology for lin constr
395dce1
@Shi-Raida
fix(model): skip non-present constraints during assignment validation
11b19ad
@Shi-Raida
fix(ci): update upf proto version
b903a92
@Shi-Raida
chore(up): update support kind for solver and validator
dbb0499
@Shi-Raida
fix(val): adaptation for upf scheduling
0f18adb
@Shi-Raida
chore(up): update supported kind for solver
0a20b4b
@arbimo
chore(up): Update unified planning dependency to support scheduling p…
4b4e6ea 
…roblems.
@Shi-Raida
chore(val): check fluent bounds after applying an action
563b4fc
@Shi-Raida
fix(val): minimal delay error message
44e6e6a
@Shi-Raida
feat(val): support schedule problems
a932def
@Shi-Raida
feat(grpc): support upf epsilon
2c623bc
@Shi-Raida
chore(val): add TODO
b91fd58
@Shi-Raida
refactor(val): split action application into atomic methods
e878f06
@Shi-Raida
style(val): typo in comments
dafd9c4
@Shi-Raida
refactor(val): distinction between continuous and discrete time
bee62fe
@Shi-Raida
chore(val): save is discrete time problem in env
826715b
@Shi-Raida
fix(val): action applicability for problems with discrete time
024cdcf
@Shi-Raida
fix(val): check init env for effect applicability in actions
331e7bd
@Shi-Raida
refactor(val): rename csp start/end ids
05affc5
@Shi-Raida
chore(val): save is schedule problem in env
6825438
@Shi-Raida
refactor(val): move rational from atom method
21a3ef6
@Shi-Raida
feat(val): check schedule problem constraints
b5a40bb
@Shi-Raida
fix: cargo clippy warning
4ffc0df
@Shi-Raida
build: update unified-planning version
7819122
@Shi-Raida
chore(grpc|val): add verbose mode from env param
5a05fc8
@Shi-Raida
feat(val): support timed effects
0b823e8
@Shi-Raida
docs(val): better error message
5e5861b
@Shi-Raida
feat(val): support activities with parameters
414111b
@Shi-Raida
feat(val|sched): handle goals
342f780
@Shi-Raida
fix: cargo clippy warning
26b2005
@Shi-Raida Shi-Raida requested a review from arbimo August 30, 2023 12:03
@arbimo arbimo merged commit 485d80f into master Sep 1, 2023
10 checks passed
@arbimo arbimo deleted the feat/val/sched branch September 1, 2023 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@arbimo arbimo arbimo approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Shi-Raida @arbimo