GitHub - p4l1ly/shared-formula: simplification of boolean formulae: hash consing, boolean laws · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
bench		bench
src/Data		src/Data
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
shared-formula.cabal		shared-formula.cabal

About

simplification of boolean formulae: hash consing, boolean laws

Report repository

Releases

No releases published

Packages

Contributors

Languages

Haskell 100.0%