Package structural-induction
Top Similar Packages
Packages that have similar categories to this package
- LogicGrowsOnTrees 48
- toysolver 25
- cond 22
- tpdb 14
- sbv 13
- satchmo 12
- ersatz 9
- obdd 8
- pseudo-boolean 8
- z3 8
- smcdel 7
- picosat 5
- smtlib2 5
- atp-haskell 4
- LogicGrowsOnTrees-processes 4
- boolector 4
- hylolib 4
- LogicGrowsOnTrees-MPI 3
- LogicGrowsOnTrees-network 3
- minisat 3