[Diff since v0.15.2](v0.15.2...v0.15.3)

**Merged pull requests:**
- Improving `scalarlogiset` to handle more `SoleLogics.AbstractWorld`s (#15) (@mauro-milella)

[Diff since v0.15.1](v0.15.1...v0.15.2)

[Diff since v0.15.0](v0.15.0...v0.15.1)

[Diff since v0.14.1](v0.14.1...v0.15.0)

[Diff since v0.14.0](v0.14.0...v0.14.1)

[Diff since v0.13.1](v0.13.1...v0.14.0)

- Add PropositionalLogiset
- Deprecate UnboundedScalarConditions and BoundedScalarConditions in favor of UnionAlphabet{UnivariateScalarAlphabet}.
- Base.rand(a::AbstractAlphabet, ...) -> randatom(a, ...)
- Add ObliqueScalarCondition (untested)
- Add Fayyad's alphabet discretization algorithm
- Rename: UnivariateValue -> VariableValue
- Rename: Univariate(Min|Max|SoftMin|SoftMax) -> Variable(Min|Max|SoftMin|SoftMax)
- Improve `featval`, `check`, `checkcondition` interface

[Diff since v0.13.0](v0.13.0...v0.13.1)

[Diff since v0.12.2](v0.12.2...v0.13.0)

Fix dep

[Diff since v0.12.1](v0.12.1...v0.12.2)