Projects in Awesome Lists tagged with logic-minimization
A curated list of projects in awesome lists tagged with logic-minimization .
https://github.com/tulip-control/omega
Specify and synthesize systems using symbolic algorithms
automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic
Last synced: 15 Apr 2025
https://github.com/boschmitt/exorcism
Fast Heuristic Minimization of Exclusive-Sums-of-Products
logic-minimization logic-synthesis
Last synced: 13 Apr 2025
https://github.com/boschmitt/losys
Logic synthesis and verification framework
logic-gates logic-minimization logic-synthesis
Last synced: 14 Mar 2025