Top Similar Packages

Packages that have similar categories to this package

• LogicGrowsOnTrees 48
• toysolver 25
• cond 22
• tpdb 14
• satchmo 12
• ersatz 9
• obdd 8
• pseudo-boolean 8
• smcdel 7
• picosat 5
• LogicGrowsOnTrees-processes 4
• atp-haskell 4
• LogicGrowsOnTrees-MPI 3
• LogicGrowsOnTrees-network 3
• minisat 3
• minisat-solver 3
• ersatz-toysat 2
• expressions 2
• picologic 2
• PropLogic 1

Categories

• Logic