BDD compression

An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.

Project Activity

See All Activity >

License

MIT License

Follow BDD compression

BDD compression Web Site

Other Useful Business Software

Zenflow- The AI Workflow Engine for Software Devs

Parallel agents. Multi-agent orchestration. Specs that turn into shipped code. Zenflow automates planning, coding, testing, and verification.

Zenflow is the AI workflow engine built for real teams. Parallel agents plan, code, test, and verify in one workflow. With spec-driven development and deep context, Zenflow turns requirements into production-ready output so teams ship faster and stay in flow.

Try free now

Rate This Project

User Reviews

Be the first to post a review of BDD compression!

Additional Project Details

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

Java

Related Categories

Java File Compression Software

Registered

2008-05-21

Similar Business Software

WMaster ZipKing

WMaster ZipKing is a powerful compression tool that can quickly compress and decompress files and archives with a single click. It supports decompressing Zip, RAR, 7z, Tar, Gzip, and 64 other famous file formats with 20% faster than traditional compression software. Besides, ZipKing provides...

See Software
Gzip

GNU Gzip is a popular data compression program originally written by Jean-loup Gailly for the GNU project. Mark Adler wrote the decompression part. We developed this program as a replacement for compress because of the Unisys and IBM patents covering the LZW algorithm used by compress. These...

See Software
Bandizip

Bandizip is a powerful archiver that provides an ultrafast processing speed and convenient features. Available free of charge, its paid editions support a variety of advanced features. The supported OS is Windows 7/8/8.1/10/11 (32bit/64bit/arm64). All-inclusive...

See Software
Kingshiper File Compressor

Kingshiper File Compressor is a file compression software that includes Video Compressor, GIF Compressor, Audio Compressor, Image Compressor, PDF Compressor, Word Compressor, PPT Compressor, and Excel Compressor. It has a user-friendly interface and reliable performance that you can easily...

See Software
NXPowerLite Desktop

NXPowerLite Desktop will quickly reduce the size of your PDF, PowerPoint, Word, Excel, JPEG, PNG, and TIFF files. Create custom settings profiles and quickly select them from the home screen for a great productivity boost. Compress files directly from Windows Explorer using the right-click menu...

See Software
Ashampoo ZIP Free

Nearly all computer users come across file archives in different formats, e.g. the widespread ZIP format. Compressed files are easy to store and share. Ashampoo ZIP Free bundles essential features like reading and writing of archives in a single free application. Ashampoo ZIP Free supports...

See Software