v0.3.3

Features

• Add scheduling strategy of earliest-start-time (in Forward) #119 (Arthur Bit-Monnot)
• Allow specifying solver strategies in up-server. #119 (Arthur Bit-Monnot)
• Add a new tautology reasoner that avoids solver restarts when enforcing new facts. #121 (Arthur Bit-Monnot)
• add env-param to considers real state variables as ints #121 (Arthur Bit-Monnot)
• solver: support metric 'minimize final value' #122 (Roland Godet)
• add support for maximizing final values #122 (Arthur Bit-Monnot)
• up: Declare support for optimizing final values in up-aries. #122 (Arthur Bit-Monnot)
• search: Add new variant of activity-bool that performs a light propagation only. #122 (Arthur Bit-Monnot)
• encode: Allow setting the planning horizon through an env-param. #122 (Arthur Bit-Monnot)
• planning: Distinguish makespan and horizon in encoding. #125 (Arthur Bit-Monnot)
• up: Add support for default values in up-problems. #124 (Arthur Bit-Monnot)
• val: support fluent default value #124 (Roland Godet)

Bug Fixes

• Timed effects were ignored in scheduling problems. #119 (Arthur Bit-Monnot)
• Propagator of linear constraints had an incorrect corner case and missed some propagation opportunities. #119 (Arthur Bit-Monnot)
• encode: add presence of assignment in increase literal for resources #122 (Roland Godet)
• sat: Handle asserting clauses first to avoid context loss #122 (Arthur Bit-Monnot)
• cp: remove check of invariant that should hold eventually but not at every propagation #122 (Arthur Bit-Monnot)
• build: Add uncommited dependency to tracing. #122 (Arthur Bit-Monnot)
• sat: Workaround to avoid propagating in erroneous context #122 (Arthur Bit-Monnot)
• planning: Make sure the goal state is final in the presence of TILs #125 (Arthur Bit-Monnot)
• val: support instantaneous actions in temporal mode #124 (Roland Godet)
• tests: adaptation to the last feature #124 (Roland Godet)

Styles

• clippy #124 (Roland Godet)

Code Refactoring

• val: mark several factories from test cfg #124 (Roland Godet)

Performance Improvements

• explain: Make sure that explanation runtime is linear in the number of resolved literals. #122 (Arthur Bit-Monnot)
• strategy: Improve non-temporal variant of VSDIS to only branch on boolean variables #122 (Arthur Bit-Monnot)

Continuous Integration

• simplify CI config #126 (Arthur Bit-Monnot)
• deactivate borderline test domains (Arthur Bit-Monnot)

Chores

• Improve Display of linear constraints. #119 (Arthur Bit-Monnot)
• Improve simplification of linear constraints. #119 (Arthur Bit-Monnot)
• Add logs to identify from which part of the code constraints are added. #119 (Arthur Bit-Monnot)
• EnvParam to print statistics at solutions #119 (Arthur Bit-Monnot)
• Add basic simplification step before reification. #119 (Arthur Bit-Monnot)
• Make sure forward searcher instantiates all variables. #119 (Arthur Bit-Monnot)
• Turn non-critical assert into a warning i debug mode. #122 (Arthur Bit-Monnot)
• prepro: Add logging to state-variables preprocessor. #122 (Arthur Bit-Monnot)
• up: Make CLI planner output less cluttered. #122 (Arthur Bit-Monnot)
• prepro: Add specific logging span for preprocessing. #122 (Arthur Bit-Monnot)
• search: avoid branching on reifications in forward search. #122 (Arthur Bit-Monnot)
• Add justfile for common recipes. #125 (Arthur Bit-Monnot)
• val: fix clippy lint #125 (Arthur Bit-Monnot)
• up: improve cli tool for up testing. #124 (Arthur Bit-Monnot)
• lint: Fix clippy lint. #124 (Arthur Bit-Monnot)

Commits

• Make the forward solver only do bound propagation (faster) #121 (Arthur Bit-Monnot)
• Fix clippy lints #122 (Arthur Bit-Monnot)
• up: Update UP to latest version #125 (Arthur Bit-Monnot)
• up: Update UP version to one with only explicit values in the protobuf #124 (Arthur Bit-Monnot)
• c1010ff: Merge branch 'master' into feat/metric-optimization (Arthur Bit-Monnot) #122
• update cargo dependencies #126 (Arthur Bit-Monnot)