v0.3.0
Features
- up: Add measure of time spent in the engine. #109 (Arthur Bit-Monnot)
- reify: support
up:plus#111 (Roland Godet) - linear: try from atom converter #111 (Roland Godet)
- reify: support
up:minus#111 (Roland Godet) - up: Add AriesOpt class tha guarantees optimality. #112 (Arthur Bit-Monnot)
- up: add a new experimental script to help interacting with UP. #112 (Arthur Bit-Monnot)
Chores
- up: Use new metrics field of ValidationResult #110 (Arthur Bit-Monnot)
- up: be more precise in engine time to avoid division by zero on UP side #110 (Arthur Bit-Monnot)
- linear: use i64 inside propagation logic to avoid overflow #111 (Roland Godet)
- deps: Update dependencies. #112 (Arthur Bit-Monnot)
- cp: Print minimal statistics in CP reasoner. #112 (Arthur Bit-Monnot)
- up: Refactor the executable to accept subcommands for solving/serving. #112 (Arthur Bit-Monnot)
- fix lints. #112 (Arthur Bit-Monnot)
- up: Remove anytime mode from aries-opt, as it was hard to reconcile it with the expected semantics. #112 (Arthur Bit-Monnot)
Commits
- up: Update README #112 (Arthur Bit-Monnot)
- Update dependency on up #112 (Arthur Bit-Monnot)