picosat-936-7-omv2015.0.x86_64.rpm


Advertisement

Description

picosat - Lightweight SAT solver

Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: picosat
Package version: 936
Package release: 7-omv2015.0
Package architecture: x86_64
Package type: rpm
Installed size: 62.93 KB
Download size: 18.30 KB
Official Mirror: abf-downloads.openmandriva.org
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

Provides

  • picosat == 936-7:2015.0

    Download

    Install Howto

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

    Files

    • /usr/bin/picomus
    • /usr/bin/picosat
    • /usr/bin/picosat.trace
    • /usr/share/man/man1/picomus.1.xz
    • /usr/share/man/man1/picosat.1.xz
    • /usr/share/man/man1/picosat.trace.1.xz
    Advertisement
    Advertisement