Fix reading aiw from other solvers
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 15 Apr 2022 09:45:16 +0000 (11:45 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 15 Apr 2022 09:45:16 +0000 (11:45 +0200)
commit9508bb23303af2571fc146bc0262ec4d70bce4dc
tree85dc541a825bca015747e2f2744380d2cff12bfe
parentc1646a00ac5a7b6ab53af64d5f2f70c5848cdf12
Fix reading aiw from other solvers
passes/sat/sim.cc