v0.1.0

Features

• model: support fixed and bounded durations #88 (Roland Godet)
• planning: use linear sum to encode duration constraints #88 (Roland Godet)
• grpc: use new duration constraints #88 (Roland Godet)
• model: add denominator to linear terms #88 (Roland Godet)
• Add logging to the solver. #94 (Arthur Bit-Monnot)
• planning: Enable eager propagation during encoding. #94 (Arthur Bit-Monnot)
• planning: Group compatible and exclusive subtasks to avoid explosion of the decomposition tree #94 (Arthur Bit-Monnot)
• solver: Add conflict-base brancher (LRB/VSIDS) to the main solver crate. #94 (Arthur Bit-Monnot)
• planning: Support task network constraints in HDDL. #94 (Arthur Bit-Monnot)
• hddl: Support parameters in task networks. #94 (Arthur Bit-Monnot)
• hddl: Initial support for universal quantification. #94 (Arthur Bit-Monnot)
• planning: Allow retrieving plans in an anytime fashion. #94 (Arthur Bit-Monnot)
• planning: When optimizing, the solver will keep increasing the depth until the maximum is reached. #94 (Arthur Bit-Monnot)
• val: check the epsilon value if provided #93 (Roland Godet)
• up: Provide decomposition information for hierarchical plans. #96 (Arthur Bit-Monnot)

Bug Fixes

• planning: Detect conditions that cannot be encoded as table constraints. #88 (Arthur Bit-Monnot)
• planning: use TIME_SCALE as denominator in ConstraitType::Lt encoding #88 (Roland Godet)
• up: Add missing substitution of duration bounds in constraints. #88 (Roland Godet)
• cp: add a saturation security on sum reasoner #88 (Roland Godet)
• up: replace cohoma problems with satisfiable versions #88 (Roland Godet)
• grpc: raise error when the result gets one #88 (Roland Godet)
• ci: type dict is not subscriptable #88 (Roland Godet)
• solver: Support LT between int and fixed point numerals. #90 (Arthur Bit-Monnot)
• model: FAtom into LinearSum #90 (Roland Godet)
• solver: Support LT between int and fixed point numerals. #90 (Arthur Bit-Monnot)
• model: FAtom into LinearSum #90 (Roland Godet)
• planning: corner case where no explanation could be given for an STN propagation. #94 (Arthur Bit-Monnot)
• build: Some crate were missing anyhow features. #94 (Arthur Bit-Monnot)
• planning: convenience method for equality encoding was broken. #94 (Arthur Bit-Monnot)
• solver: bug in incremental DFS of implication graph. #94 (Arthur Bit-Monnot)
• tools: Fix script to find solvable problems. #94 (Arthur Bit-Monnot)
• val: add all parameters into actions #92 (Roland Godet)
• stn: Disable a test that was not outdated. #94 (Arthur Bit-Monnot)
• val: update factories to new up version #93 (Roland Godet)
• val: stop checking problem support #93 (Roland Godet)
• val: cargo clippy warning #93 (Roland Godet)
• val: minimal delay on condition detection #93 (Roland Godet)
• val: add a timepoint for each action start and end #93 (Roland Godet)
• cp: Substitution was not done for linear eq. #91 (Arthur Bit-Monnot)
• val: Deactivate probably incorrect checks of plan decomposition. #96 (Arthur Bit-Monnot)

Code Refactoring

• model: FAtom into LinearTerm/Sum #88 (Roland Godet)

Tests

• add binary problems from CoHoMa #88 (Roland Godet)
• adaptation for new constant expectations #90 (Roland Godet)
• adaptation for new constant expectations #90 (Roland Godet)

Builds

• Disable tracing logs in release binaries. #94 (Arthur Bit-Monnot)
• up: update version #93 (Roland Godet)

Continuous Integration

• test all binary problems by exploring the folder #88 (Roland Godet)
• stop failing on the first error #88 (Roland Godet)
• planning: Add new {ph}ddl problems to test cases. #94 (Arthur Bit-Monnot)
• planning: Add HD...

v0.0.8

Features

• planning: Full support for PDDL mutex actions semantics. (Arthur Bit-Monnot)
• up: Log error message in addition to sending it to unified-planning client. (Arthur Bit-Monnot)
• up: Support nested and operators in expressions. (Arthur Bit-Monnot)
• up: Check that minimal epsilon separation is respected before handing out plan. (Arthur Bit-Monnot)

Bug Fixes

• planning: Add missing applicability check for the the statics to table constraints preprocessor. (Arthur Bit-Monnot)
• sat: correctly handle optional clauses with single literal. (Arthur Bit-Monnot)
• planning: Force horizon to be strictly after the end of actions. (Arthur Bit-Monnot)
• gg: Align classical planner with PDDL's encoding in chronicles. (Arthur Bit-Monnot)

Chores

• Update up dependencies (Arthur Bit-Monnot)
• Update protobuf bindings (Arthur Bit-Monnot)
• up: Update problem kinds to match unified-planning#365 (Arthur Bit-Monnot)

v0.0.7

Features

• validator: evaluation of an expression #85 (Roland Godet)
• validator: check conditions #85 (Roland Godet)
• validator: effect expression evaluation #85 (Roland Godet)
• validator: action application #85 (Roland Godet)
• validator: add the procedures #85 (Roland Godet)
• validator: add exists and forall procedures #85 (Roland Godet)
• validator: create lt procedure #85 (Roland Godet)
• validator: create iff procedure #85 (Roland Godet)
• validator: add new procedures in env #85 (Roland Godet)
• validator: handle hierarchical types #85 (Roland Godet)
• validator: check the goal is reached #85 (Roland Godet)
• validator: handle temporal problems #85 (Roland Godet)
• grpc: support of the validation #85 (Roland Godet)
• backtrack: Expose a decision level tracker that implement Backtrack. (Arthur Bit-Monnot)
• up: create Aries validator engine #85 (Roland Godet)
• provide branching combinators in main crate (Arthur Bit-Monnot)
• make lexical brancher support optional variables (Arthur Bit-Monnot)
• search: Expose lexical brancher. (Arthur Bit-Monnot)
• validator: check that the problem kind is supported #85 (Roland Godet)
• validator: convert a list of actions into a list of durative actions #85 (Roland Godet)
• Support API for providing constraint decomposition. (Arthur Bit-Monnot)
• validator: calculation of the start and the end of a method #85 (Roland Godet)
• utils: Introduce the Seq trait for accepting a range of collection patterns on the calling site. (Arthur Bit-Monnot)
• sat: Support scoped clause with eager propagation in sat solver. (Arthur Bit-Monnot)
• solver: Allow defining the scope of all constraint when enforcing them. (Arthur Bit-Monnot)
• validator: check task constraints with a CSP #85 (Roland Godet)
• up: Add support for external conditions and effects. #85 (Arthur Bit-Monnot)
• up: Support Anytime planning operation mode. #86 (Arthur Bit-Monnot)

Bug Fixes

• validator: expression evaluation issues #85 (Roland Godet)
• validator: duplicate changes on a state variable caused by conditional effects #85 (Roland Godet)
• validator: function application #85 (Roland Godet)
• validator: condition verification #85 (Roland Godet)
• validator: disable doctest for generate_tests macro doc #85 (Roland Godet)
• validator: stop to panic if bins folder does not exist #85 (Roland Godet)
• up: binaries creation #85 (Roland Godet)
• validator: check the duration in the plan match the duration of the problem #85 (Roland Godet)
• up: bin folders creation #85 (Roland Godet)
• val: Avoid panicking on protobuf update (+ more helpful error message). #85 (Arthur Bit-Monnot)
• val: remove claimed support of task network variables and constraints. #85 (Arthur Bit-Monnot)
• ci: Make sure environment variables are correctly set #85 (Arthur Bit-Monnot)

Code Refactoring

• validator: usage of traits #85 (Roland Godet)
• validator: change the signature of validate() #85 (Roland Godet)
• move backtrack #84 (Arthur Bit-Monnot)
• transfer utils #84 (Arthur Bit-Monnot)
• transfer core #84 (Arthur Bit-Monnot)
• transfer model #84 (Arthur Bit-Monnot)
• stn #84 (Arthur Bit-Monnot)
• cp #84 (Arthur Bit-Monnot)
• sat #84 (Arthur Bit-Monnot)
• examples #84 (Arthur Bit-Monnot)
• planning #84 (Arthur Bit-Monnot)
• Reorganize modules and fix related clippy lints #84 (Arthur Bit-Monnot)
• validator: move parameters from conditions and effects to actions #85 (Roland Godet)
• validator: remove unnecessary traits [#85](https://github.com/pla...

v0.0.6

Bug Fixes

• build: Require wheel for running setup.py script. (Arthur Bit-Monnot)
• up: If the problem is non-temporal, return a sequential plan. (Arthur Bit-Monnot)

v0.0.5

Features

• up: Support quality metrics in Aries. (Arthur Bit-Monnot)

Bug Fixes

• up: The encoding in chronicles was missing some mutex conditions for instantaneous actions. (Arthur Bit-Monnot)
• ci: Fix PyPi Release CI (#83) #83 (franklin selva)
• up: Do not provide optimality guarantees in general. (Arthur Bit-Monnot)
• up: Update dependency to UP. (Arthur Bit-Monnot)

Continuous Integration

• ensure unique names of python packages for PyPI upload. (Arthur Bit-Monnot)

Chores

• up: Delete gRPC client binary. (Arthur Bit-Monnot)

Commits

• ea51233: PyPi Release Workflow for UP Aries (#82) (franklin selva) #82

v0.0.4

Features

• up: Implement supported_kind in UP server. (Arthur Bit-Monnot)
• up: Add a new AriesDev solver that will compile and run aries from sources. (Arthur Bit-Monnot)
• up: Start a single planner process per problem. (Arthur Bit-Monnot)
• solver: Support timeout parameters in solver API. (Arthur Bit-Monnot)
• up: Report internal error (e.g. unsupported operator) in the planning report. (Arthur Bit-Monnot)
• up: Implement Display for up::Expression. (Arthur Bit-Monnot)
• sched: Support timeout parameter in scheduler. (Arthur Bit-Monnot)

Bug Fixes

• planning: Detect that predicates using a false value should not be transformed to state variables. (Arthur Bit-Monnot)

Continuous Integration

• limit version detection to version tags (Arthur Bit-Monnot)
• test git describe (Arthur Bit-Monnot)
• force apt update (Arthur Bit-Monnot)
• remove unecessary dependencies from setup (Arthur Bit-Monnot)
• Add new release job to be run on tagged releases. (Arthur Bit-Monnot)

Chores

• ci: Avoid building binary python packages in CI (Arthur Bit-Monnot)
• up: Mark planner as supporting method preconditions. (Arthur Bit-Monnot)
• up: Improve error reporting in up-server. (Arthur Bit-Monnot)
• Add support for new UP features for HTN plans (Arthur Bit-Monnot)

Commits

• 7e3b568: [up] Determine version number from git (Arthur Bit-Monnot)
• 710d629: [up] Fix autoversioning (Arthur Bit-Monnot)