picosat-965-8.fc30.x86_64.rpm


Advertisement

Description

picosat - A SAT solver

Property Value
Distribution Fedora 30
Repository Fedora x86_64
Package filename picosat-965-8.fc30.x86_64.rpm
Package name picosat
Package version 965
Package release 8.fc30
Package architecture x86_64
Package type rpm
Homepage http://fmv.jku.at/picosat/
License MIT
Maintainer -
Download size 39.94 KB
Installed size 156.01 KB
PicoSAT solves the SAT problem, which is the classical NP complete
problem of searching for a satisfying assignment of a propositional
formula in conjunctive normal form (CNF).  PicoSAT can generate proofs
and cores in memory by compressing the proof trace.  It supports the
proof format of TraceCheck.

Alternatives

Package Version Architecture Repository
picosat-965-8.fc30.i686.rpm 965 i686 Fedora
picosat - - -

Requires

Name Value
bzip2 -
gzip -
libc.so.6(GLIBC_2.14)(64bit) -
libpicosat-trace.so.0()(64bit) -
libpicosat.so.0()(64bit) -
picosat-libs(x86-64) = 965-8.fc30
rtld(GNU_HASH) -

Provides

Name Value
picosat = 965-8.fc30
picosat(x86-64) = 965-8.fc30

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package picosat-965-8.fc30.x86_64.rpm
Source Package picosat-965-8.fc30.src.rpm

Install Howto

Install picosat rpm package:

# dnf install picosat

Files

Path
/usr/bin/picogcnf
/usr/bin/picomcs
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/lib/.build-id/
/usr/lib/.build-id/10/c81f850fecf91a19dcd40c9657a174ab6f4d9f
/usr/lib/.build-id/1f/b9fcaa03d026e61a35b69250e8e72f4762c0a5
/usr/lib/.build-id/32/4ad579737c69b667f44394fcc42b85d2805ef0
/usr/lib/.build-id/60/3891006ede304d9f62dfaff79fd04776f2217f
/usr/lib/.build-id/ca/b0cfb18ff8c2caa1f9b40aa7d08f86d2636d81
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz

Changelog

2019-02-02 - Fedora Release Engineering <releng@fedoraproject.org> - 965-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 965-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 965-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 965-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 965-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-11 - Fedora Release Engineering <releng@fedoraproject.org> - 965-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild

See Also

Package Description
picosat-R-965-8.fc30.i686.rpm A SAT solver library for R
picosat-R-965-8.fc30.x86_64.rpm A SAT solver library for R
picosat-devel-965-8.fc30.i686.rpm Development files for PicoSAT
picosat-devel-965-8.fc30.x86_64.rpm Development files for PicoSAT
picosat-libs-965-8.fc30.i686.rpm A SAT solver library
picosat-libs-965-8.fc30.x86_64.rpm A SAT solver library
pidgin-2.13.0-9.fc30.x86_64.rpm A Gtk+ based multiprotocol instant messaging client
pidgin-birthday-reminder-1.11-6.fc30.x86_64.rpm Birthday Reminder plugin for Pidgin
pidgin-chime-1.1-3.fc30.x86_64.rpm Pidgin/libpurple protocol plugin for Amazon Chime
pidgin-devel-2.13.0-9.fc30.i686.rpm Development headers and libraries for pidgin
pidgin-devel-2.13.0-9.fc30.x86_64.rpm Development headers and libraries for pidgin
pidgin-discord-0-22.20181108gita5dd44f.fc30.noarch.rpm Adds pixmaps, icons and smileys for Discord protocol
pidgin-docs-2.13.0-9.fc30.x86_64.rpm API docs for pidgin and libpurple
pidgin-groupchat-typing-notifications-3-2.fc30.x86_64.rpm Adds typing notifications for group chats in Pidgin
pidgin-guifications-2.16-20.fc30.x86_64.rpm Guifications Plugin for Pidgin
Advertisement
Advertisement