@rkaminsk rkaminsk released this Jun 27, 2018 · 32 commits to master since this release

Assets 5

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

@rkaminsk rkaminsk released this Jun 27, 2018 · 217 commits to master since this release

Assets 5

Packages

Changes

  • update to clasp version 3.3.4
  • really fix --pre option
  • fix link to potassco guide (#74)
  • fix location printing (#78)
  • fix linking problems (#79)
  • fix modulo zero (#100)
  • fix web builds (#103)
  • fix addding clauses after a model has been found (#104)
  • fix python program observer bindings (#105)
  • expose exponentiation operator in APIs
  • improve python docstrings (#101, #102)
  • add option to build python and lua modules against an existing libclingo
Jun 27, 2018
update changelog and bump clasp

@rkaminsk rkaminsk released this Nov 6, 2017 · 242 commits to master since this release

Assets 5

Packages

Changes

  • update to clasp version 3.3.3
  • use GNUInstallDirs in cmake files to simplify packaging
  • fix --pre option
  • fix swapped clingo_assignment_size and clingo_assignment_max_size
  • fix docstrings
  • fix incremental mode
  • fix sup and inf in python/lua bindings
  • fix reified format term tuples
  • fix wrong use of python API (causing trouble with python 3.6)
  • fix compilation problems on 32bit linux (missing libatomic)

@rkaminsk rkaminsk released this Aug 4, 2017 · 266 commits to master since this release

Assets 5
  • update to clasp version 3.3.2
  • fix handling of istop in incmode programs
  • fix handling of undefined ** operations
  • fix preprocessing of disjunctions with undefined operations
    (regression in clingo-5)
  • fix segfault during preprocessing
    (regression in clingo-5)

@rkaminsk rkaminsk released this May 3, 2017 · 304 commits to master since this release

Assets 5
  • switch to MIT license
  • improve compatibility with abstract gringo
  • switch build system from scons to cmake
  • improve windows compatibility
  • make tests and examples python 3 compatible
  • bison and re2c are no longer required to build source releases
  • update to clasp 3.3.0
  • the CLINGOPATH environment variable can be set
    to control from where to include files in logic programs
  • propagators can add variables while solving now
  • refactor interfaces (breaking backward compatibility)
    • there is just one solve function now
    • in the C API do not pass structs by value to callbacks
      because FFIs of some languages do not support this
  • fix cleanup function
  • numerous other bugfixes not listed here
Assets 6
  • update to clasp 3.2.1
  • add interface to add variables during propagation
  • add interface to inspect ground rules (C/C++ only)
  • add experimental interface to access clasp facade (C/C++ only)
  • fixed smodels output (--output=smodels)

@rkaminsk rkaminsk released this Sep 30, 2016 · 783 commits to master since this release

Assets 6
  • gringo is no longer released separately, instead it is part of this and upcoming clingo releases
  • cleanup of python and lua API (breaks backwards compatibility)
  • added new aspif output format replacing the old smodels format
  • added input language support for clasp features
    • #edge directives to add acyclicity constraints
    • #project directives for enumeration of projected models
    • #heuristic directives to steer clasp's search
  • added theory atoms to write aggregate like constructs
  • added stable C API documented with doxygen
  • added experimental C++ API based on C API
  • added theory propagator interface to clingo APIs
  • added support for compilation with Visual Studio 2015
  • improved data structures to reduce memory consumption on typical input
  • updated to clasp version 3.2.0 + patches