Add pure Haskell AIGER and CNF generation#8

Merged

atomb merged 10 commits intomasterfrom at-aiger

Jun 14, 2021

+504

Commits on May 21, 2021

Initial version of AIGER export
Aaron Tomb
committed

Commits on May 24, 2021

Implement binary format AIGER export
Aaron Tomb
committed
Implement support for CNF generation
Aaron Tomb
committed
Remove unnecessary change
Aaron Tomb
committed
Clean up and add comments
Aaron Tomb
committed
Remove another unnecessary change
Aaron Tomb
committed

Commits on May 28, 2021

Add support for reading AIGER files
Aaron Tomb
committed

Commits on Jun 4, 2021

Implement abstractEvaluateAIG in CompactGraph
Aaron Tomb
committed

Commits on Jun 11, 2021

Implement getInput and evaluator for CompactGraph
Aaron Tomb
committed

Commits on Jun 14, 2021

Additional comments
Aaron Tomb
committed