libminisat-2.2.0-alt5.x86_64.rpm


Advertisement

Description

libminisat - The library for Boolean satisfiability problem solving

Distribution: ALT Linux Sisyphus
Repository: Classic x86_64
Package name: libminisat
Package version: 2.2.0
Package release: alt5
Package architecture: x86_64
Package type: rpm
Installed size: 56.11 KB
Download size: 56.11 KB
Official Mirror: ftp.altlinux.org
This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se.

Alternatives

Provides

  • libminisat = 2.2.0-alt5
  • libminisat-0.so.0()(64bit)

    Download

    Install Howto

    1. Add the following line to /etc/apt/sources.list:
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
      
    2. Update the package index:
      # sudo apt-get update
    3. Install libminisat rpm package:
      # sudo apt-get install libminisat

    Files

    • /usr/lib64/libminisat-0.so.0
    • /usr/lib64/libminisat-0.so.0.0.0
    • /usr/share/doc/libminisat-2.2.0/AUTHORS
    • /usr/share/doc/libminisat-2.2.0/COPYING
    • /usr/share/doc/libminisat-2.2.0/README

    Changelog

    2013-12-05 - Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt5 - Fixed building bug with missed m4 directory

    2013-03-01 - Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt4 - Proper collisions support - Assumptions support is removed

    2013-01-19 - Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt3 - Conflicts analyzing is added

    2012-12-22 - Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt2 - Variable value assumption support added

    2012-10-28 - Michael Pozhidaev <msp@altlinux.ru> 2.2.0-alt1 - Initial package

    Advertisement
    Advertisement