clingexplaid
💡 Explaining unsatisfiability in ASP
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 21
- Cadence
- ~8 days
- Last 12 months
- 2
Reach
- Stars
- 12
Details
- License
- custom
- First release
- Apr 30, 2024
Releases
| Version | Released | |
|---|---|---|
1.5.1
minor
| ||
0.5.1
initial
| ||
1.4.0
minor
| ||
1.3.5
patch
| ||
1.3.4
patch
| ||
1.3.3
patch
| ||
1.3.2
patch
| ||
1.3.1
patch
| ||
1.0.16
patch
| ||
1.3.0
minor
| ||
1.2.2
patch
| ||
1.2.1
patch
| ||
1.2.0
minor
| ||
1.1.1
patch
| ||
1.1.0
minor
| ||
1.0.14
patch
| ||
1.0.13
patch
| ||
1.0.12
patch
| ||
1.0.11
patch
| ||
1.0.10
patch
| ||
1.0.9
initial
|