Softpedia >Windows >Programming >Other Programming Files >clingo >  Changelog

clingo Changelog

What's new in clingo 4.2.1

Jan 11, 2014
  • Fixed bug in simplification of aggregates
  • Fixed bug with raw strings in macros
  • Fixed compilation issues with older glibc versions
  • Fixed output for enumeration of cautious consequences
  • Fixed bugs in clasp library:
  • Fixed race in parallel model enumeration
  • Fixed incremental optimization
  • Fixed cleanup up of learnt constraints during incremental solving
  • Workaround for libstdc++'s bad choice for hash on 32bit arches

New in clingo 4.2.0 (Nov 2, 2013)

  • Added clingo:
  • supports very flexible scripting support
  • can cover iclingo and oclingo functionality now
  • Added stack traces to lua error messages
  • Added support for incremental optimization
  • Improved python error messages
  • Renamed gringo.Function to gringo.Fun
  • Removed luabind dependency
  • Removed boost-python dependency
  • Consistently use not instead of #not as keyword for negation
  • Fixed translation of conditions in head aggregates
  • Fixed replacement of constants
  • Fixed grounding of recursive head aggregates
  • Fixed translation of head aggregates
  • Fixed show statements for CSP variables (condition was ignored)
  • Fixed plain text output of body aggregates
  • Added a ton of new bugs