picosat - Lightweight SAT solver

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package name picosat
Package version 936
Package release 12.mga6
Package architecture i586
Package type rpm
Installed size 63.04 KB
Download size 27.25 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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-12.mga6.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-12.mga6


Name Value
picosat == 936-12.mga6
picosat(x86-32) == 936-12.mga6


Type URL
Binary Package picosat-936-12.mga6.i586.rpm
Source Package picosat-936-12.mga6.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




2016-02-02 - umeabot <umeabot> 936-12.mga6
+ Revision: 931101
- Mageia 6 Mass Rebuild
2014-10-15 - umeabot <umeabot> 936-11.mga5
+ Revision: 749271
- Second Mageia 5 Mass Rebuild
2014-09-27 - tv <tv> 936-10.mga5
+ Revision: 727818
- rebuild for missing pythoneggs deps
2014-09-16 - umeabot <umeabot> 936-9.mga5
+ Revision: 687579
- Mageia 5 Mass Rebuild
2013-10-18 - umeabot <umeabot> 936-8.mga4
+ Revision: 517455
- Mageia 4 Mass Rebuild

See Also

Package Description
picosat-devel-936-12.mga6.i586.rpm Development files for PicoSAT
pidgin-2.13.0-2.mga7.i586.rpm A GTK+ based multiprotocol instant messaging client
pidgin-awayonlock-0.5.2-4.mga6.i586.rpm Away-on-Lock is simple plugin for Pidgin
pidgin-bonjour-2.13.0-2.mga7.i586.rpm Bonjour plugin for Purple
pidgin-chime-1.1-1.mga7.i586.rpm Pidgin/libpurple protocol plugin for Amazon Chime
pidgin-client-2.13.0-2.mga7.i586.rpm Plugin and sample client to control purple clients
pidgin-encryption-3.1-7.mga6.i586.rpm Pidgin extension, to use end to end encryption
pidgin-gpg-0.9-6.mga6.i586.rpm GPG plugin for pidgin
pidgin-hangouts-0-1.20171023hg4ce9b33.mga7.noarch.rpm Adds pixmaps, icons and smileys for Hangouts protocol
pidgin-i18n-2.13.0-2.mga7.noarch.rpm Translation files for Pidgin/Finch
pidgin-libnotify-0.14-18.mga6.i586.rpm Popup for Pidgin via libnotify and the notification-daemon
pidgin-lwqq-0.6.1-1.mga7.i586.rpm Pidgin plugin based on lwqq for webqq protocol
pidgin-meanwhile-2.13.0-2.mga7.i586.rpm Lotus Sametime Community Client plugin for Purple
pidgin-msn-pecan-0.1.4-1.mga7.i586.rpm Alternative implementation of the MSN protocol plug-in for libpurple
pidgin-musictracker-0.4.22-7.mga6.i586.rpm Plugin for Pidgin that displays the current song in the status