Skip to content

v5.4.0

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 25 Aug 21:35
· 620 commits to master since this release
7a05b97

Packages

Changes

  • add extension to implement custom heuristics
  • add const modifiers to C API
  • add flags to external and const statements to match API functions
  • fix python memleaks
  • make compatible with msvc 15
  • C ABI changes
    • extended propagators
  • C++ API changes
    • unify usage of ProgramBuilder and Backend
  • python API changes
    • TruthValue.{_True,_False} becomes TruthValue.{True_,False_}
    • HeuristicType.{True,False} becomes TruthValue.{True_,False_}
    • async and yield becomes async_ and yield_
  • improve python API documentation
  • use cmakes find_python module
  • update to clasp version 3.3.5