Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

clingo-devel-5.6.2-2.3 RPM for armv6hl

From OpenSuSE Ports Tumbleweed for armv6hl

Name: clingo-devel Distribution: openSUSE Tumbleweed
Version: 5.6.2 Vendor: openSUSE
Release: 2.3 Build date: Fri Feb 9 22:52:05 2024
Group: Development/Tools/Other Build host: i03-armsrv1
Size: 357839 Source RPM: clingo-5.6.2-2.3.src.rpm
Packager: http://bugs.opensuse.org
Url: https://potassco.org/clingo/
Summary: Development files for clingo
 
The clingo-devel package contains libraries and header files for
developing applications that use clingo.

Provides

Requires

License

MIT

Changelog

* Mon Dec 05 2022 Dirk Müller <dmueller@suse.com>
  - update to 5.6.2:
    * fix AST comparison
    * fix handling of n-ary comparisons in AST
    * fix symbolic atom iterator
    * build wheels using cibuildwheel
    * add support for parsing files in ASPIF format
    * add theory related functions to backend
    * add support for comparisons with more than one relation
    * extend safety by computing intervals from comparisons
    * add and ground base part by default in Python API
    * remove experimental CSP extensions
    * require at least MSVC 15.0 to build on Windows
    * large code refactoring
    * replace internal hash set implementation by external one
    * fix `parse_files` in C++ API
    * fix adding clauses during enumeration
    * fix incremental projection with backend
    * update to clasp version 3.3.8
    * extend theory class to get version information
    * improve performance of `Model.symbol`
    * tidy up `clingo.hh` header regarding C++17 deprecations
    * fix error handling while solving in Python API
    * fix various outher bugs
* Thu Sep 01 2022 Steve Kowalik <steven.kowalik@suse.com>
  - Do not use python_module macro, which requires other macros to fire
    correctly (bsc#1212554).
  - Mark the license file using %license macro.
* Tue Dec 14 2021 Christian Goll <cgoll@suse.com>
  - added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 Antoine Ginies <aginies@suse.com>
  - create a sub lib package
* Wed Sep 29 2021 Antoine Ginies <aginies@suse.com>
  - fix some build errors, remove unwanted files
  - update to version 5.5.0
  - clingo is used by default for spack version >= 0.17 (JSC#SLE-22137)
* Wed Sep 29 2021 Antoine Ginies <aginies@suse.com>
  - first release for SUSE (from fedora spec)

Files

/usr/include/clingo.h
/usr/include/clingo.hh
/usr/lib/cmake/Clingo
/usr/lib/cmake/Clingo/ClingoConfig.cmake
/usr/lib/cmake/Clingo/ClingoConfigVersion.cmake
/usr/lib/cmake/Clingo/ClingoTargets-release.cmake
/usr/lib/cmake/Clingo/ClingoTargets.cmake
/usr/lib/libclingo.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 27 00:31:59 2024