Marcel Walter

Expert
@marcelwa

Postdoc at the Technical University of Munich, researching Design Automation. Senior Quantum Software Engineer at MQSC.

marcelwa.github.io/

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

87

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

66

ls4ai. Hack4Her: Logic Synthesis for AI

10
3
Apply