Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
sasp-1.0.3.tar.gz | 2016-01-16 | 219.9 kB | |
sasp-1.0.3.zip | 2016-01-16 | 236.4 kB | |
README | 2016-01-16 | 541 Bytes | |
Totals: 3 Items | 456.9 kB | 0 |
s(ASP) 1.0.3: January 16, 2016 - Fixed bug in which CHS entries not marked as successful could cause a call to coinductively fail. s(ASP) 1.0.2: January 12, 2016 - Added built-in predicates for write/1, writef/2 and nl/0. - Fixed major bug related to coinductive failure checking. - Fixed several bugs related to quoted strings. s(ASP) 1.0.1: November 29, 2015 - Fixed bug where multiple underscore variables in a clause were treated as the same variable. - Cleaned up debugging output. s(ASP) 1.0.0: September 15, 2015 - Initial release.