Giters

mikeurbach / egg-netlist-synthesizer

Using e-graphs to synthesize netlists from boolean logic.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Using e-graphs to synthesize netlists from boolean logic.

Languages

Language:Rust 85.1%Language:CMake 14.9%