这个C++11项目为小图形(n个≤ 64).带有n个顶点表示为的邻接矩阵n个机器字，它可以通过比特旋转有效地操纵。以下是几个例子提供了。

• 在极值.cc，子图的最大数量，例如P（P）_三那是一个图表在n个确定诱导子图时，顶点可以有。给，一个P（P）_三是具有3个顶点的路径。事实证明数字是

  0, 0, 1, 4, 9, 18, 30, 48, 70, 100, 135

  匹配OEIS序列A111384:⌊n个/2⌋ * ⌈n个/2⌉ * (n个-2)/2.

• 文件p5编辑.cc研究一个关于数据简化的猜想的规则P（P）₅-自由编辑问题，即图中最小边数的添加和删除问题去做它P（P）₅-免费，其中P（P）₅是具有5个顶点的路径的诱导子图。推测是这样的不在任何中的顶点P（P）₅可以省略，因为删除它们没有意义。程序会找到一个8个顶点的反例。

• 在ssge-约cc，近似值的近似因子研究了稀疏分割图编辑算法。最坏的情况对于具有6个顶点的图和具有更多的顶点似乎有更好的因子。最佳证明界限这个算法是3倍（F.Hüffner、C.Komusiewicz和A.Nichterlein：将图形编辑成几个小团体：复杂性，近似和核化方案。WADS公司2015.)

默认最大顶点数为32。要更改此设置，请编辑字号。小时然后跑使干净.

根据Apache许可证2.0版进行许可；参见许可证。

不合法约束摘要：

• 您可以无条件地自由使用软件。
• 只要不修改，您就可以自由分发软件剥夺许可或版权、专利、商标和归属通知。
• 如果要分发修改过的版本，则必须另外声明所做的重大更改，不得歪曲原始来源的背书。

图的同构枚举目前由处理鹦鹉螺，随附相同的许可证。