HomePhorge
Diffusion SoC_I-Edge_yosys_nem_optimization 54a1192ebc4d

added constraint for quick solution finding
54a1192ebc4d
Actions

Referenced Files
None
Subscribers
None

Description

added constraint for quick solution finding

Details

Provenance
jasperAuthored on Oct 29 2024, 11:27 AM
jzwartjesPushed on Oct 29 2024, 11:28 AM
Parents
R231:ef37e58f6392: added python bruteforcing of boolean equations
Branches
Unknown
Tags
Unknown

Event Timeline

jasper <jasper-zw@hotmail.com> committed R231:54a1192ebc4d: added constraint for quick solution finding (authored by jasper <jasper-zw@hotmail.com>).Oct 29 2024, 11:27 AM

Changes (1)

PathSize

R231:54a1192ebc4d

View Options

bruteforce.py

Loading...