Skip to content

clingo version 5.3.0

Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 27 Jun 14:07
· 711 commits to master since this release

Packages

Changes

  • change C API to use numeric instead of symbolic literals
    • affects assumptions and assigning/releasing externals (breaks backward compatibility)
    • added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
  • the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
  • add API function to detect conflicting programs
  • add message logger to python and lua interface
  • add support for primes in the beginning of identifiers and variable names
  • add per solver registration of watches during propagator initialization
  • add a directive to selectivel suppress undefined atom warnings
  • add support for user defined statistics
  • add _to_c functions for python API to be able to call C functions from python
  • only create ground representations for requested program parts when grounding (#71)
  • improve program observer (#19)
  • support for binary, octal, and hexadecimal numbers (#65)
  • the backend has to be opened/closed now
  • release python's GIL while grounding (#82)
  • TruthValue.{True,False} becomes TruthValue.{_True,_False} in python API
  • improve API and it's documentation