GitXplorerGitXplorer
d

clj-bdd

public
3 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
1252d4c10e9eb9620159f4800e83128f4369b1e2

Merge branch 'feature/bdd'

committed 10 years ago
Unverified
22b0f314f65685b4913e7e2727ca023f10ebce35

and, or, and not

committed 10 years ago
Unverified
46ef475d09e4e6870e32aff9d71bdb451d2ef074

all-where

committed 10 years ago
Unverified
b87f2143f4bc81e3dbf14394c1eb1d4ee3aac66a

Comparing BDD nodes

committed 10 years ago
Unverified
7ac187b032dcbb5f1f8c5a8e865c1a777ffd2335

Nicer printing of BDD nodes

committed 10 years ago
Unverified
d8b78e7cfe0826cbd8cd5a2b9aa72aaeda12c73d

Thread-local "current" BDD

committed 10 years ago

README

The README file for this repository.

clj-bdd

Binary Decision Diagrams in Clojure.

License

Copyright © 2014 RedJack, LLC.

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.