register
log in
hub.darcs.net
::
gershomb
->
boolsimplifier
->
files
Normal form representation for boolean expressions
root
Data
LICENSE
Setup.hs
boolsimplifier.cabal
files
changes
fork
download .zip
darcs get url