buddy for linux

Main Menu

Linux software Linux Documentation Linux Themes Search Linux

Linux Documentation

Linux FAQ Linux guides How-to Mini How-to Translated docs

Last updated...

yawm Has title bars, iconizing, maximizing, taskbar, placement, clock

xmonad-contrib Third party tiling algorithms, configurations and scripts to xmonad

xmonad Xmonad is a minimalist and tiling window manager for X

xfce4-wm XFce 4 window manager

xfce4-session Session manager for the Xfce 4 desktop environment

xfce4-panel XFce 4 panel module

xfce4-desktop XFce 4 desktop background manager and root menu

xfce4 The "meta-port" for the XFce 4 desktop environment

xfce CDE like desktop with GTK

xcompmgr A sample X compositing manager

science : buddy

A Binary Decision Diagram library

BuDDY is a Binary Decision Diagram library, with: many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more. Author: Jorn Lind-Nielsen - Original Developer Haim Cohen

http://buddy.sourceforge.net/

Version number : 2.4

Md5 : MD5 (buddy-2.4.tar.gz) = 3b59cb073bcb3f26efdb851d617ef2ed SHA256 (buddy-2.4.tar.gz) = d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836 SIZE (buddy-2.4.tar.gz) = 766523