lib64boolstuff0.1_0 - Disjunctive Normal Form boolean expression library

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name lib64boolstuff0.1_0
Package version 0.1.15
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 87.38 KB
Download size 36.99 KB
Official Mirror
This library contains an algorithm that converts a boolean expression
binary tree into the Disjunctive Normal Form. The NOT operator
is supported.


Package Version Architecture Repository
lib64boolstuff0.1_0 - - -


Name Value - - - - - - - - - -


Name Value
lib64boolstuff0.1_0 == 0.1.15-2:2014.1 -


Type URL
Binary Package lib64boolstuff0.1_0-0.1.15-2-rosa2014.1.x86_64.rpm
Source Package boolstuff-0.1.15-2.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install lib64boolstuff0.1_0 rpm package:
    # urpmi lib64boolstuff0.1_0




2014-07-25 - Denis Silakov <> 0.1.15-2
+ Revision: 7f53372
- MassBuild#464: Increase release tag

See Also

Package Description
lib64botan1.10-devel-1.10.3-3-rosa2014.1.x86_64.rpm Development files for botan
lib64botan1.10_0-1.10.3-3-rosa2014.1.x86_64.rpm Main library for botan
lib64braindumpcore13-2.8.5-5-rosa2014.1.x86_64.rpm Calligra Braindump core library
lib64bristol0-0.60.11-2-rosa2014.1.x86_64.rpm Dynamic libraries used by bristol
lib64bt-devel-1.06-8-rosa2014.1.x86_64.rpm C-language Impementation of the BitTorrent core protocols
lib64bt0-0.70.1-17-rosa2014.1.x86_64.rpm Library files for blackbox
lib64btf-devel-1.2.0-2-rosa2014.1.x86_64.rpm C routines for permuting a matrix into block upper triangular form
lib64btf1.2.0-1.2.0-2-rosa2014.1.x86_64.rpm Library of routines for permuting a matrix into block upper triangular form
lib64bullet-devel-2.82-2-rosa2014.1.x86_64.rpm Development headers for Bullet
lib64c++-gtk-utils-devel-2.0.12-2-rosa2014.1.x86_64.rpm Development files for c++-gtk-utils
lib64c++-gtk-utils0-2.0.12-2-rosa2014.1.x86_64.rpm A library for programming GTK+ programs using C++
lib64c-icap-devel-0.2.3-5-rosa2014.1.x86_64.rpm Development library and header files for the c-icap library
lib64c-icap2-0.2.3-5-rosa2014.1.x86_64.rpm Shared libraries for c-icap
lib64caja-extension-devel-1.8.0-2-rosa2014.1.x86_64.rpm Libraries and include files for developing caja components
lib64caja-extension1-1.8.0-2-rosa2014.1.x86_64.rpm Libraries for Mate file manager