Awesome Open Source

Programming Languages

Search results for c plus plus decision diagrams

decision-diagrams x

7 search results found

Mqt Qcec ⭐ 81

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Dd_package ⭐ 21

MQT decision diagram package tailored to quantum computing

Learning Dd ⭐ 16

Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".

Library for Data Decision Diagrams and Set Decision Diagrams

An efficient Petri net model checker using Hierarchical Set Decision Diagrams.

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

A generic C++14 library for Hierarchical Set Decision Diagrams.

Mqt Misim ⭐ 5

MQT library to handle quantum circuits with mixed dimensions

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-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

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