Repository navigation

feat(timelines): add lprelax wrapper reasoner (HiGHS-based) - #261

Draft

nrealus wants to merge 21 commits into

feat/lprelax-wrapper-lp-highs

Commits on Sep 29, 2026

feat(solver): change reasoners api to allow plugging external, extra reasoners
nrealus
committed
9e49005

Commits on Oct 1, 2026

chore(solver): expose watches beyond `aries_solver` crate
nrealus
committed
7c7fef6
feat(lp-highs): add an LP relaxation reasoner backed by HiGHS
nrealus
committed
d865004
deps(lp-highs): depend on the highs bindings fork
nrealus
committed
1d5b1a0
chore(lp-highs): improve management of highs options
nrealus
committed
de6f75e
chore(lp-highs): rename `LpRelax` to `Lp`
nrealus
committed
4b9b732
feat(timelines): allow retrieving groundings of "empty source" in grounder interface
nrealus
committed
57e554f
chore(timelines): refactor collecting ambiguous (nonsimple) conditions and effects
nrealus
committed
10733ba
chore(timelines): derive more traits for `EffectOp`
nrealus
committed
fe841ae
feat(timelines): add `transitions` module
nrealus
committed
e0b10fb
feat(timelines): add convenience methods to evaluate a transition's terms on a grounding of its source
nrealus
committed
3ed2124
feat(timelines): allow collecting lifted (potential) supports between transitions
nrealus
committed
3facab4
feat(timelines): add lprelax problem
nrealus
committed
7b2a3a6
feat(timelines): add lprelax problem simplification
nrealus
committed
ab216b5
Merge branch 'feat/lprelax-reasoner' into feat/lprelax-wrapper-lp-highs
nrealus
committed
fd82468

Commits on Oct 2, 2026

chore(lp_highs): expose reasoner stats publicly
nrealus
committed
dae607e
feat(timelines): add lprelax wrapper reasoner (HiGHS-based)
nrealus
committed
adce51a
tests(timelines): add visitall unit test for lprelax
nrealus
committed
278d4d6
ci(timelines): add ape solving validation with lprelax
nrealus
committed
552c7f2
chore(timelines): rename `is_lifted` to `is_lifted_or_term_grounding`
nrealus
committed
0340724
Merge branch 'feat/lprelax-problem' into feat/lprelax-wrapper-lp-highs
nrealus
committed
06e7628