issues Search Results · repo:mvcisback/py-aiger language:Python
Filter by
46 results
(69 ms)46 results
inmvcisback/py-aiger (press backspace or delete to remove)Hi, I am using py-aiger to perform some AIG manipulation. In particular, I am trying to convert AIG to PySMT formulas. I
have found an example of AIG waking in
https://github.com/mvcisback/py-aiger/blob/f50171549781e0910cd5aec25dd8582a9d219b84/aiger/writer.py#L41 ...
masinag
- 22
- Opened on Nov 1, 2024
- #135
Currently the parser uses the toposort_flatten from the toposort library
https://github.com/mvcisback/py-aiger/blob/19b3fe3837c3187dec08a5b58ba7cb36ca107c8d/aiger/parser.py#L367
However, I noticed that ...
- 3
- Opened on Dec 11, 2023
- #133
I came across some unexplainable behavior when using the parallel composition of two AIGER circuits.
Given the following minimal example:
circ0 = aiger.parse( aag 2 1 1 1 0\n2\n4 2\n4\ni0 i0\nl0 ...
MatCos
- 2
- Opened on Aug 2, 2023
- #132
Hi, I think it would be nice to support also parsing of *.aig files (binary format).
If you d like, I can start working on it and open a pull request.
- 2
- Opened on Jan 13, 2023
- #129
Hi, the function https://github.com/mvcisback/py-aiger/blob/1f1d95265c9744c605011fd80e2c139745a78e5e/aiger/aig.py#L283
fails to parse some aag files, such as https://raw.githubusercontent.com/arminbiere/dualiza/master/aigs/0001.aag ...
- 4
- Opened on Jan 12, 2023
- #128
Dear,
I had a question regarding the reading of AIGs. Say I have a multi-output AIG, how do I convert this into multiple
Boolean expressions (BoolExpr)?
In the examples, I only saw code for single-output ...
sventhijssen
- 2
- Opened on Sep 26, 2022
- #126
Hello.
I ran into an issue when trying to parse aiger files. Here is a simple example .aag file.
aag 0 0 0 2 0
0
0
which when loaded produces the following error:
aiger.load( bug.aag )
Traceback ...
arw12625
- 5
- Opened on Aug 17, 2022
- #125
Hi,
I tried the demo program given in py-aiger-abc:
import aiger
import aiger_abc
x = aiger.atom( x )
f = x ^ x
f2 = aiger_abc.simplify(f)
print(f2.aig)
and got following errors:
Traceback (most recent ...
Acdimy
- 8
- Opened on Jul 20, 2022
- #124
Hi,
I m trying to perform a simple load of aag file (code below). The load function never ends and cause massive memory
usage (I stopped the run at 12GB).
I ve noticed that the code get stuck at the ...
Hemer911
- 6
- Opened on Feb 27, 2021
- #122
Step 1: write aig to file with aig.write(file) (pyaiger function) Step 2: convert ascii aig to binary aig with aigtoaig
Step 3: read binary aig with abc abc claims the aig is an empty network. These same ...
jbroot
- 14
- Opened on Feb 2, 2021
- #121
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.