Skip to content

Releases: arminbiere/aiger

Release 1.9.19

03 Jun 06:13
Compare
Choose a tag to compare

Version 1.9.19

  • Added '.xz' reading and writing support.
  • Fixed ITE extraction issue.

Release 1.9.18

03 Mar 09:27
Compare
Choose a tag to compare

Version 1.9.18

  • Dedicated ITE detection and CNF encoding for 'aigtocnf'.

Release 1.9.17

31 Jan 15:53
Compare
Choose a tag to compare

Version 1.9.17

  • Dedicated XOR detection and CNF encoding for 'aigtocnf'.

  • Added '-r' option for 'aigselect'.

  • First output needs to be negated in 'aigor'
    (discovered by Gianpiero Cabodi in 2021).

  • Reset types during reencoding (discovered by Sam Bayless in 2016).