Awesome Open Source

Programming Languages

Search results for c plus plus binary decision diagrams

binary-decision-diagrams x

2 search results found

An I/O-efficient implementation of (Binary) Decision Diagrams

Hermesbdd ⭐ 6

Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.

Related Searches

C Plus Plus Cmake (8,712)

C Plus Plus Qt (8,557)

C Plus Plus Video Game (8,255)

C Plus Plus Algorithms (6,194)

C Plus Plus Opengl (4,396)

C Plus Plus 3d Graphics (3,196)

C Plus Plus Testing (2,735)

Java C Plus Plus (2,629)

C Plus Plus Command Line (2,304)

Javascript C Plus Plus (2,235)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.