marcelwa

CEGIS

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

ls4ai

Hack4Her: Logic Synthesis for AI

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

alice

C++ command shell library

bill

C++ header-only reasoning library

cirkit

A circuit toolkit

cppitertools

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

ddvis

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.

FCN-Design-Library

IWLS2020FCN

Complimentary material for the paper "SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies": physical simulation files and images of all synthesized functions

lorina

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

marcelwa.github.io

markdown_readme

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

mockturtle

C++ logic network library

ogdf

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

parallel-hashmap

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

pythagorean-3d-solver

A script to find solutions to the Pythagorean theorem in three dimensions using SMT solving

siqad

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

z3

The Z3 Theorem Prover