picosat - Lightweight SAT solver

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package filename picosat-936-14.mga7.i586.rpm
Package name picosat
Package version 936
Package release 14.mga7
Package architecture i586
Package type rpm
Category Sciences/Computer science
Homepage http://fmv.jku.at/picosat/
License MIT-like
Maintainer -
Download size 26.55 KB
Installed size 74.91 KB
The SAT problem is the classical NP complete problem of searching
for a satisfying assignment of a propositional formula in
conjunctive normal form (CNF). General information on SAT can be
found at http://www.satlive.org or http://www.satlib.org.


Package Version Architecture Repository
picosat-936-14.mga7.x86_64.rpm 936 x86_64 Mageia Core
picosat - - -


Name Value
gzip -
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.7) -
libpicosat-trace.so.1 -
libpicosat.so.1 -
libpicosat1 == 936-14.mga7


Name Value
picosat == 936-14.mga7
picosat(x86-32) == 936-14.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package picosat-936-14.mga7.i586.rpm
Source Package picosat-936-14.mga7.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install picosat rpm package:
    # urpmi picosat




2018-09-23 - umeabot <umeabot> 936-14.mga7
(not released yet)
+ Revision: 1300262
- Mageia 7 Mass Rebuild
2018-07-10 - wally <wally> 936-13.mga7
+ Revision: 1242933
- drop unneeded post/postun scriptlets

See Also

Package Description
picosat-devel-936-14.mga7.i586.rpm Development files for PicoSAT
pidgin-2.13.0-6.mga8.i586.rpm A GTK+ based multiprotocol instant messaging client
pidgin-awayonlock-0.5.2-5.mga7.i586.rpm Away-on-Lock is simple plugin for Pidgin
pidgin-bonjour-2.13.0-6.mga8.i586.rpm Bonjour plugin for Purple
pidgin-chime-1.2-2.mga8.i586.rpm Pidgin/libpurple protocol plugin for Amazon Chime
pidgin-client-2.13.0-6.mga8.i586.rpm Plugin and sample client to control purple clients
pidgin-encryption-3.1-9.mga7.i586.rpm Pidgin extension, to use end to end encryption
pidgin-gpg-0.9-8.mga7.i586.rpm GPG plugin for pidgin
pidgin-hangouts-0-2.20171023hg4ce9b33.mga7.noarch.rpm Adds pixmaps, icons and smileys for Hangouts protocol
pidgin-i18n-2.13.0-6.mga8.noarch.rpm Translation files for Pidgin/Finch
pidgin-indicator-1.0.1-2.mga7.i586.rpm StatusNotifierItem tray icon plugin for Pidgin
pidgin-libnotify-0.14-19.mga7.i586.rpm Popup for Pidgin via libnotify and the notification-daemon
pidgin-lwqq-0.6.1-2.mga7.i586.rpm Pidgin plugin based on lwqq for webqq protocol
pidgin-meanwhile-2.13.0-6.mga8.i586.rpm Lotus Sametime Community Client plugin for Purple
pidgin-msn-pecan-0.1.4-2.mga7.i586.rpm Alternative implementation of the MSN protocol plug-in for libpurple