Releases: aclai-lab/SoleLogics.jl
Releases · aclai-lab/SoleLogics.jl
v0.12.0
SoleLogics v0.12.0
Breaking changes
normalizemay have changed behavior, although tests show otherwisesyntaxstringadopts a different approach to parenthesize_atoms
v0.11.0
SoleLogics v0.11.0
Merged pull requests:
- Many valued logics (#39) (@alberto-paparella)
- Added simplify for mixed Finite(Index)Truth and BooleanTruth tuples; … (#40) (@alberto-paparella)
Contributors
alberto-paparella
Assets 2
v0.10.4
SoleLogics v0.10.4
v0.10.3
v0.10.2
SoleLogics v0.10.2
v0.10.1
SoleLogics v0.10.1
Merged pull requests:
- CompatHelper: bump compat for Dictionaries to 0.4, (keep existing compat) (#28) (@github-actions[bot])
- Dev marco (#29) (@Perro2110)
- Added documentation and minor fixes to propositional-logic.jl (#33) (@Michele21)
- syntax-utils (#38) (@PasoStudio73)
Contributors
Michele21, PasoStudio73, and Perro2110
Assets 2
v0.10.0
SoleLogics v0.10.0
Merged pull requests:
- Separate interpretation sets (#30) (@giopaglia)
- Refactor random.jl in generator/formula.jl and generator/random.jl (#31) (@mauro-milella)
- Divided modal-logics.jl and algebras folder (and relative subfolders) into types and utils folders. WARNING: 5 tests fail in test/generation/formulas.jl (see description). (#37) (@alberto-paparella)
Contributors
giopaglia, mauro-milella, and 2 other contributors