Pinned Loading

1. Jdrasil Jdrasil Public

   A Modular Library for Computing Tree Decompositions

   C 16 9

2. PID-Star PID-Star Public

   A solver for computing optimal treedepth decompositions.

   Rust 4

3. TorsoMaxSAT TorsoMaxSAT Public

   A MaxSAT solver based on Tree Decompositions of the Torso Graph.

   Python

4. mwien/CliquePicking mwien/CliquePicking Public

   Algorithms for efficient counting of the size of a Markov equivalence class

   Julia 6 1

5. Jatatosk Jatatosk Public

   A lightweight model-checker for a small fragment of MSO.

   Java 1

6. TobiasMende/TeXtended TobiasMende/TeXtended Public

   TeXtended is an all new LaTeX Editor written for OS X in Objective C. It’s free and beta, so feel free to test the app and contact us for feature requests and issue reports.

   Objective-C 4 1