Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add pure Haskell AIGER and CNF generation #8

Merged
merged 10 commits into from
Jun 14, 2021
Merged

Add pure Haskell AIGER and CNF generation #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
5485c41
Initial version of AIGER export
May 21, 2021
b2ecc30
Implement binary format AIGER export
May 24, 2021
dceb273
Implement support for CNF generation
May 24, 2021
754d74f
Remove unnecessary change
May 24, 2021
12e92ba
Clean up and add comments
May 24, 2021
3104294
Remove another unnecessary change
May 24, 2021
2d32316
Add support for reading AIGER files
May 28, 2021
dbfd485
Implement abstractEvaluateAIG in CompactGraph
Jun 4, 2021
3f53a3e
Implement getInput and evaluator for CompactGraph
Jun 11, 2021
874f3e3
Additional comments
Jun 14, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions aig.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ library
exposed-modules:
Data.AIG
Data.AIG.AddTree
Data.AIG.CompactGraph
Data.AIG.Interface
Data.AIG.Operations
Data.AIG.Trace
Expand All @@ -36,6 +37,9 @@ library
ghc-options: -Wall -fno-ignore-asserts
build-depends:
base >= 4.9 && < 4.16,
binary,
binary-parsers,
bytestring,
containers >= 0.5.5,
mtl,
vector,
Expand All @@ -50,12 +54,16 @@ test-suite aig-test

main-is: aig-test.hs
other-modules:
Tests.FileIO
Tests.Operations

build-depends:
base == 4.*,
aig,
bytestring,
directory,
tasty < 1.5,
tasty-hunit,
tasty-ant-xml,
tasty-quickcheck >= 0.8.1,
QuickCheck >= 2.7
Loading