Last released Apr 5, 2019
A C++ logic synthesis framework
Last released Sep 17, 2018
A C++ quantum compilation framework
Last released Jan 31, 2018
Parsing Python code into Boolean expressions
Supported by
