| Name : libclingo4
| |
| Version : 5.6.2
| Vendor : obs://build_opensuse_org/devel:languages:misc
|
| Release : 12.1
| Date : 2023-06-21 16:37:12
|
| Group : Development/Libraries/C and C++
| Source RPM : clingo-5.6.2-12.1.src.rpm
|
| Size : 5.22 MB
| |
| Packager : (none)
| |
| 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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/misc/openSUSE_Factory/x86_64 |
