git clone https://github.com/emnh/boolwidth
The data files and boolwidth-explorer are in submodules:
git submodule update --init
A git submodule is a subfolder stored in a different repository.
- explorer
- Separate repository for easy push to heroku.
- java/data
- Separate for convenience because of data size.
- java/lib
- Separate because of binary library files.
Main:
-
java/src: original java source. This is the project which results I used in my master thesis.
- Licensed under GNU GPLv2.
- Code collaborators:
- Martin Vatshelle (Ph.D. student coordinating the project and writing code)
- Kari Ringdal (did coding for us as part of University course work)
- Oliver Tynes (did coding for us as part of University course work)
- Sadia Sharmin (Ph.D. student writing lots of new code after I finished my Master thesis)
- java/src/sadiasrc is her evolution of the main tree.
- Eivind Magnus Hvidevold (me. did most of the project coding for my Master thesis)
-
java/clj: Clojure addons and rewrites os java/src.
-
cbool: reimplementation of basic cutbool algorithm in C. I think I remember it works, but is not very general (using ints) or usable as library.
-
fsharp/CutBoolExperiments: Testing a new smart algorithm for fast cutbool computation in F#.
-
csharp/BoolWidth: Partial rewrite in C#. Nothing works.
http://www.staff.science.uu.nl/~bodla101/treewidthlib/
YourKit is kindly supporting this open source project with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: