Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with logic-optimization

A curated list of projects in awesome lists tagged with logic-optimization .

https://github.com/coloquinte/quaigh

Logic circuit analysis and optimization

atpg equivalence-checking logic-optimization

Last synced: 02 Jan 2025

https://github.com/hriener/aig

C++ header-only And-Inverter graph (AIG) library

logic-gates logic-optimization logic-synthesis verification

Last synced: 08 Dec 2024