Marcel Walter

A Python library for working with logic networks, synthesis, and optimization.

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

No description provided.

C++ command shell library

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.

Hack4Her: Logic Synthesis for AI

Showcase examples for EPFL logic synthesis libraries

C++ logic network 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.

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

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

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

C++ header-only reasoning library

No description provided.

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

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