Category Smt
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- sbv 13
- z3 8
- smtlib2 5
- boolector 4
- sbvPlugin 1
- smtLib 1
- smtlib2-pipe 1
- smtlib2-quickcheck 1
- linearEqSolver 0
- smtlib2-debug 0
- smtlib2-timing 0
Top Paired Categories
Categories that are often combined with this category.
- Math 3075
- Formal Methods 116
- Theorem Provers 77
- Bit Vectors 40
- Symbolic Computation 23