limboole
testlimboole
dimacs2boole
*.bb
*.bbg
*.da
