Category Logic
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- 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
Top Paired Categories
Categories that are often combined with this category.
- Data 36652
- Control 16946
- Math 3075
- Algebra 1433
- Language 1386
- Distributed Computing 828
- Monad 813
- Parallelism 495
- Compilers/interpreters 419
- Algorithms 359
- Constraints 149
- Formal Methods 116
- Theorem Provers 77
- Optimization 47
- Optimisation 42
- Unification 0