This library also includes Haskell bindings in the hs-bdd
directory. In fact, the C library is built as part of building the
Haskell bindings, and is not currently set up to build in isolation.
The hs-bdd-test directory contains a Haskell project to build test
and example programs for the library.
The c-templates directory contains a bespoke mechanism for
instantiating "template" C code. This is used to generate type-safe
collection data structures in C that are used within the BDD
library. (If I were doing this again, I'd use C++ from the outset
in the BDD library code, but expose a C API.)
- Improve the test coverage
- Add support for automated testing using Travis CI
- Merge the
hs-bdd-testprograms with thehs-bdddirectory and use Cabal's now built-in support for tests - Switch to C++ as the implementation language so we can eliminate the bespoke C template mechanism
- Implement variable reordering algorithms --- there is already an
implementation of the
swap adjacent variables in-placeprimitive, but there aren't any implementations of higher-level reorderings