Skip to content

Releases: dkmfbk/asp-it

version 1.1

18 Jan 15:18
@lbozzato lbozzato
v.1.1
74472cc
Compare
Choose a tag to compare
version 1.1 Latest
Latest

Added alternative rewriting for filler generation.

Assets 3
Loading

version 1.0.1

21 Apr 03:14
@lbozzato lbozzato
v.1.0.1
84cc943
Compare
Choose a tag to compare
version 1.0.1

Complete prototype for EL formulas
(minor: fixed management of \top generators)

Assets 3
Loading

version 1.0

16 Apr 04:55
@lbozzato lbozzato
v.1.0
59b1542
Compare
Choose a tag to compare
version 1.0

Complete prototype for EL formulas

Assets 3
Loading

version 0.1

09 Apr 02:05
@lbozzato lbozzato
v.0.1
eb59084
Compare
Choose a tag to compare
version 0.1 Pre-release
Pre-release

Rewriting for EL atomic formulas.

Assets 3
Loading