| Name : libclingo4
| |
| Version : 5.6.2
| Vendor : openSUSE
|
| Release : 2.7
| Date : 2022-12-05 13:55:18
|
| Group : Development/Libraries/C and C++
| Source RPM : clingo-5.6.2-2.7.src.rpm
|
| Size : 4.04 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Libraries file(s) for clingo
|
Description :
Clingo is part of the Potassco project for Answer Set Programming
(ASP). This package include clingo libraries.
|
RPM found in directory: /vol/rzm3/linux-opensuse/tumbleweed/repo/oss/x86_64 |
