Download Latest Version sasp-1.0.8.zip (246.3 kB)
Email in envelope

Get an email when there's a new version of s(ASP)

Home / 1.0.4
Name Modified Size InfoDownloads / Week
Parent folder
README 2016-05-17 882 Bytes
0
sasp-1.0.4.tar.gz 2016-05-17 225.9 kB
0
sasp-1.0.4.zip 2016-05-17 242.1 kB
0
Totals: 3 Items   468.9 kB 0 
s(ASP) 1.0.4: May 16, 2016
- Fixed a bug when printing unbound variables that were unified with each other.
- Fixed bug with forall handling. Preexisting constraints on a variable are now
  correctly preserved when a forall over that variable succeeds (currently it
  will never be called with a constrained variable, but a bug is a bug).
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.
Source: README, updated 2016-05-17