Package smcdel
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