|
|
|
First, you must pick a product on which to enter a bug. |
| gautomata: | Implementations of automata with BDD-based alphabets |
|---|---|
| gbdd: | General API for BDDs. Allows for BDD packages to be hooked into the package. Also Relation abstraction that is a BDD along with domains, typing BBDs into relations with finite domains. |
| regeval: | Simple parser and evaluator for regular relations. |
| regrel: | Regular Relations and algorithms |
|