picosat-936-14.mga7.i586.rpm


Advertisement

Description

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.

Alternatives

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

Requires

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

Provides

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

Download

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

Files

Path
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id/
/usr/lib/.build-id/15/2517a031157e5d3fa93eae7f38bd42330b38bc
/usr/lib/.build-id/4a/d3e288e8e1274ca25194a5bd59279cc9861b42
/usr/lib/.build-id/fe/62c4d5ae5ef6063cfc085e3501985479021277
/usr/share/man/man1/picomus.1.xz
/usr/share/man/man1/picosat.1.xz
/usr/share/man/man1/picosat.trace.1.xz

Changelog

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
Advertisement
Advertisement