Skip to content

Version 1.3.4 release

Compare
Choose a tag to compare
@daveraja daveraja released this 26 Oct 23:13
· 272 commits to master since this release

Minor enhancements:

  • Added a flag FactBase.asp_str(sorted=True) to make the generated ASP string sorted. By default the output is not sorted (but is deterministic based on the insertion order of constructing the factbase). With the sorted flag the output is sorted first on the predicate type (name/arity) and then on the instances of each predicate.
  • Internal implementation change to Predicate initialiser that is cleaner and also works better with pylint.