Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/m4lvin/noobdd

Last synced: 22 days ago
JSON representation

Host: GitHub
URL: https://github.com/m4lvin/noobdd
Owner: m4lvin
License: gpl-2.0
Created: 2015-01-05T11:20:37.000Z (almost 10 years ago)
Default Branch: master
Last Pushed: 2016-09-26T09:48:58.000Z (about 8 years ago)
Last Synced: 2023-02-27T10:11:25.603Z (over 1 year ago)
Language: Haskell
Size: 24.4 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        NooBDD

======

[![Build Status](https://travis-ci.org/m4lvin/NooBDD.svg?branch=master)](https://travis-ci.org/m4lvin/NooBDD)

A pure implementation of BDDs in Haskell.

Created for educational reasons, probably poor performance and many bugs.

We leave reduction and memory optimization to the Haskell Compiler.

The main data type is naive and simple:

    data Bdd = Top | Bot | Node Int Bdd Bdd