clingo-5.5.0-150400.4.3.3 < > , < dp9|.&V"Ic{p̼ژUP8gjxf P{+_>ߠE
O t=QFEf} 9 /Ṫ*=6zm=շ*L͍屍n'{HZ30* gV_6 ƖYW& d-]P&nɫ"! '* x C^q(5WCS8V2OcIrl0hep a[qORu5Fʆ~-g 7AGtqf > > ? d E p t | < N
`
8 \ t # #
; # (
v 8
9
:
F % G 8 H \ I X Y \ ] ^
+ b
n c d e f l u v w x y , [ z C clingo 5.5.0 150400.4.3.3 A grounder and solver for logic programs Clingo is part of the Potassco project for Answer Set Programming
(ASP). ASP offers a simple and powerful modeling language to describe
combinatorial problems as logic programs. The clingo system then takes
such a logic program and computes answer sets representing solutions
to the given problem. dgoat36 +SUSE Linux Enterprise 15 SUSE LLC MIT https://www.suse.com/ Development/Tools/Other https://potassco.org/clingo/ linux x86_64 B < % 8 ցA큤 dddddd`r`r`rf7da578d1d32f248d74a6a5eb5e50f1449f8353894343ea5fac51acb226aea2a 61c9f2561e847066ec9880baeea22853bb0eb64bfb50798b3db5c5fd22dec63c e3bc96be923b434b157c9a6e5c78acd68d7b75b1ced90a733ec853d7d323b422 e8a0d970f7e95a6dc040b1f7201d04f5b3bddb4509eeae251aeb70b8a61784ae 237f1daf058f02388bf6fa3f56d50978ab0096eeb7d342eb7b1daef7ea0d9482 f5b9d6e5e086a2d9b37f63e107aaea48e3190192085e229637f4cb1b7e8125bc 8de01c48f0adf249cd631e7320fbf4f15b6f5c25ddb18cdf1410c95c9f0c445d af6920ae224f0a393ef20bd7936d545b1c59965bf5f29278b57b637d9512182e root root root root root root root root root root root root root root root root root root clingo-5.5.0-150400.4.3.3.src.rpm clingo clingo(x86-64) @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @
libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.7)(64bit) libclingo.so.4()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) liblua5.3.so.5()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libpthread.so.0(GLIBC_2.3.2)(64bit) libpython3.6m.so.1.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.17)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.19)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.22)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rpmlib(CompressedFileNames) rpmlib(FileDigests) rpmlib(PayloadFilesHavePrefix) rpmlib(PayloadIsXz) 3.0.4-1 4.6.0-1 4.0-1 5.2-1 4.14.3 d@a@a@@aTU@aTU@eich@suse.com cgoll@suse.com aginies@suse.com aginies@suse.com aginies@suse.com - Fix python-cffi dependency in python-clingo (bsc#1212554). - added python-cffi as Requires (boo#1193712) - create a sub lib package - 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) - first release for SUSE (from fedora spec) goat36 1687415986 5.5.0-150400.4.3.3 5.5.0-150400.4.3.3 clasp clingo gringo lpconvert reify clingo INSTALL.md LICENSE.md README.md /usr/bin/ /usr/share/doc/packages/ /usr/share/doc/packages/clingo/ -fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection -g obs://build.suse.de/SUSE:Maintenance:29323/SUSE_SLE-15-SP4_Update/f7764af6ee17a86442028ce8259da9b6-clingo.SUSE_SLE-15-SP4_Update drpm xz 5 x86_64-suse-linux ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=e65aa74b7c3bbc1bfa71413143a2f1bb723673d6, for GNU/Linux 3.2.0, stripped ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=46104da7ad67f01e652f8224aba22e6525fcf42b, for GNU/Linux 3.2.0, stripped ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=4a2e84eccb567f23989f1064383f5180624b5aa3, for GNU/Linux 3.2.0, stripped ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=1e222141d9041e57bd58960c9146ccb4e188a9bb, for GNU/Linux 3.2.0, stripped ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=954c791a292de0e86b8ca7ff5d8de04c48309cb9, for GNU/Linux 3.2.0, stripped directory ASCII text + ; K R R R
R R R R R R
R R R R R R R R R R R R R R R R R R R R R R R R R R R
R R R R R R R R R R R R R R R R
R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R R xц&m}Gԙ utf-8 c0c0f7dfc23f2605b9a0a22a46b934e62fec2596079d9c999a5067bf92837725 ? 7zXZ
! t/] "k%r̥-ds1y!n^J|L|a wS٠d:j1"\ '`<5/}l@2 v 2Wt&ڟK(-5&!~)4 KL"7E0Fy9ÆtP
]qAzQhdhdc G497Qw2H(r\X'KrGFI]n?[ ʜ0:8`1c(lLq!Ҵ-~ލ|?o|hٖ
\S&['A`nɀ sӰ
3k=ԺLtN k4Ȭtl8j}T< jJtTwUEr"뙐tR>dfGgחj !loQ/{:ZnA%%2D=oOS = @&KyuXo?jo@ q7Ԅʗ3(ER3%٢{(C11g %_Y*+H3c}xmbQ/$bcE7GZ IV1Y co); Mypv
R1ݼyiic?]S05-[@C%NҖ$%pD^[Y R;qbtq`켂M}ie4$;/\2/fvC?nP(& 8#gZ][ !V A9^Dep͡% 3[yuЪ2hlH T3y6I?/
| dVzw-G\\Oy[v 6Ç> g<NXIq֑" הF6r[eN: ֘
k] VޥആfVf74g 4!9"{/5x%i\ Go<"uh) !_:\)
+#MyɞlᑓtED+5yv! fO I fɤ7w:vȑ8صؾ\8
+
sN
YZ