;;;  -*- Hen -*-

((category data)
 (author "Jeff Siskind")
 (maintainer "Andrei Barbu")
 (license "GPL")
 (synopsis "Nondeterministic computation")
 (depends setup-helper miscmacros check-errors condition-utils)
 (test-depends test)
 (files "examples/nondeterminism-dwelling.scm"
        "examples/nondeterminism-extras.scm"
        "examples/nondeterminism-kalotan.scm"
        "examples/nondeterminism-money.scm" 
        "examples/nondeterminism-pythagorean.scm"
        "examples/nondeterminism-sat-solve.scm"
        "nondeterminism.meta" 
        "nondeterminism.release-info"
        "nondeterminism.scm" 
        "nondeterminism.setup" 
        "tests/run.scm"))