C++ logic network library

C++ command shell library

C++ truth table library

C++ parsing library for simple formats used in logic synthesis and formal verification

A family of header-only, very fast and memory-friendly hashmap and btree containers.

SiQAD graphical user interface for designing atomic silicon quantum dot assemblies.

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

C++ header-only reasoning library

Markdown - you can mark up titles, lists, tables, etc., in a much cleaner, readable and accurate way if you do it with HTML.

The Z3 Theorem Prover

Implementation of python itertools and builtin iteration functions for C++17

A circuit toolkit

OGDF is a self-contained C++ class library for the automatic layout of diagrams.

ABC: System for Sequential Logic Synthesis and Formal Verification