
This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.
After few inspiring talks in the drupal room at fosdem I decided to spend few hours to figure out the module dependency system in drupal.
Drupal has a highly modular design. The core is composed by a set of required modules (dependencies) and a set of optional modules (suggests). All contrib modules declare similar dependencies between each other. All dependencies are conjunctive, that is, in order to install a component all its dependencies must be satisfied.
A small ocaml implementation of the Bron–Kerbosch algorithm to list all maximal cliques in an undirected graph. The description of the algorithm is on wikipedia. http://en.wikipedia.org/wiki/Bron–Kerbosch_algorithm . The example given is the same as in the wikipedia page.
BDDs or Binary Decision Diagrams are a method of representing boolean expressions. I searched the net for available BDD libraries (I've considered different BDD variants in my research). In particular I focused on OCaml implementations. My conclusion is that as today there is no viable native implementation of an efficient bdd library. It seems common knowledge (take this cum granis salis , I haven't done any work in this direction) that the fastest bdd library is buddy, but there are not OCaml bindings to it.
Recent comments
51 weeks 2 days ago
1 year 3 weeks ago
1 year 15 weeks ago
1 year 17 weeks ago
1 year 19 weeks ago
1 year 22 weeks ago
1 year 23 weeks ago
2 years 1 week ago
2 years 4 weeks ago