Clingo Versions Save

🤔 A grounder and solver for logic programs.

v5.7.1

3 months ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • fix comparison of theory elements (#485)
  • fix manifest (#484)
  • update cibw to also produce Python 3.12 wheels

v5.7.0

3 months ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • add AST node for comments (#417)
  • add function to change undo mode (#409)
  • add function to access priorities to API (#406)
  • add Model::is_consequence to API (#423)
  • add option to preserve facts (#457)
  • improve hash table performance (#441)
  • extend add_theory_atom method of backend (#461) (breaks backward compatibility of the API)
  • add contribution guidelines (#465)
  • fix add_theory_atom_with_guard in Python API
  • fix AST bugs (#403)
  • fix parsing of hexadecimal numbers (#421)
  • fix assignment aggregates (#436)
  • fix build scripts for Python 3.12 (#452)
  • fix overflows in IESolver (#462)
  • make sure clingo_control_ground is re-entrant (#418)
  • update clasp and dependencies

v5.6.2

1 year ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • fix AST comparison (#394)
  • fix handling of n-ary comparisons in AST (#396)

v5.6.1

1 year ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • fix symbolic atom iterator (#389)
  • build wheels using cibuildwheel (#391, #392) (this adds additional architectures)

v5.6.0

1 year ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • add support for parsing files in ASPIF format (#387) (breaks C API)
  • add theory related functions to backend (#381)
  • add support for comparisons with more than one relation (#368)
  • extend safety by computing intervals from comparisons (#375)
  • add and ground base part by default in Python API (#378)
  • remove experimental CSP extensions (#367)
  • require at least MSVC 15.0 to build on Windows
  • large code refactoring (#376)
  • replace internal hash set implementation by external one (#386)
  • update to clasp version 3.3.9

v5.5.2

2 years ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • fix parse_files in C++ API
  • fix adding clauses during enumeration (#359)
  • fix incremental projection with backend (#362)
  • update clasp

v5.5.1

2 years ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • extend theory class to get version information
  • improve performance of Model.symbol (#296)
  • tidy up clingo.hh header regarding C++17 deprecations (#344)
  • fix error handling while solving in Python API (#334)
  • fix various other bugs

v5.5.0

3 years ago

Packages

  • The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
  • Ubuntu users can install packages from our Ubuntu PPA.
  • Clingo's Python module is available on PyPI.
  • Packages for clingo are available for various Linux distributions including Debian, Ubuntu, and Arch Linux. (For historic reasons, the clingo package is split into gringo and clasp on Ubuntu/Debian.)
  • For Mac OS X, clingo packages are available in homebrew and macports.

Changes

  • allow for using not as a theory operator (#193)
  • improve parsing of disjunctions (#171)
  • rename max_size to size in APIs and remove previous size method (breaks backward compatibility but makes things consistent)
  • refine cmake configuration variables (#283) (package maintainers might have to pay attention here)
  • extend clingo API (#236, #231, #228, #227, #187, #171, #174, #183)
  • add type annotations and add stub files for type checkers (#212)
  • reimplement Python API using CFFI (#253) (breaks backward compatibility regarding the AST and some details)
  • add remove_watch and freeze_literal to propagate_init (#285)
  • add support for Lua 5.4
  • add options to select specific Lua/Python versions
  • add single-shot solving option (#269) (see installation instructions)
  • rename clingo.Tuple to clingo.Tuple_ (to avoid name clashes with typing.Tuple)
  • fix propagator initialization (#166)
  • fix cleanup function and handling of theory (#169)
  • fix shifting of disjunctions (in clasp) (#173)
  • fix handling of pools in externals (#179)
  • fix logger in Python API (#175)
  • fix memory bugs regarding strings (#196)
  • fix undo function (#191)
  • fix adding literals in propagate init (#192)
  • fix handling of undefined arithmetics (#218)
  • fix incremental grounding (#248)
  • fix/improve handling of classical negation (#268)
  • update to clasp version 3.3.6 fixing various issues

v5.4.1

3 years ago

This minor release fixes a small build issues with Python 3.8 and later.

Existing clingo 5.4.0 binaries can be reused and packages that already apply this patch do not have to be updated.

v5.4.0

4 years ago

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