Skip to content

TheoryInPractice/mandoline

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Mandoline

To install, run

pip install git+https://github.com/TheoryInPractice/mandoline

To count the number of tree decompositions of the cricket graph, let's say that you have a text file cricket.txt that looks like this:

0 1
1 2
2 3
3 1
1 4

then you can run

mandoline_tw cricket.txt