search

mvcisback / py-aiger

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
MIT License
41 stars 9 forks source link

Boolean Expression output target #32

Closed mvcisback closed 6 years ago

mvcisback commented 6 years ago
mvcisback commented 6 years ago

@MarkusRabe please put any notes/thoughts regarding the CNF encoding in this thread.

MarkusRabe commented 6 years ago

Not sure why we should do that. That library does not seem to solve any of our problems.

mvcisback commented 6 years ago

@MarkusRabe, yeah this issue predates the discussion of a CNF output target or anything like that.

I more meant include your thoughts regarding what the necessary features of the encoding are.

mvcisback commented 6 years ago

Moved to py-aiger-analysis