lint: Fix clippy warning

Merge pull request #155 from plaans/fix/rolling

Fix and re-enable rolling: the plan was not unrolled in the unified-planning library.

Merge pull request #136 from plaans/fix/135

fix(sat): derived clause were incorretly too strong in some corner cases

ci: deactivate borderline test domains

feat(up): Add support for timed effects (aka timed initial literals)

fix(val): reduce calculated epsilon if none is provided

up: Update dependency on up

Merge pull request #108 from plaans/fix/sched-anytime

Fix: Scheduling problems with Anytime planning

Merge pull request #104 from plaans/numric-problem-kind

feat(up): Support new numeric problem kind

Merge pull request #98 from plaans/release01

Release 0.1