7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
gmp4 4.3.2-1 9 0.00 Legacy version of gmp. Provides libgmp.so.3. spaceships
cvc4-git 1.6.r709.g219bc5991-1 2 0.00 An automatic theorem prover for SMT problems. spaceships
texlive-kbordermatrix 1-1 1 0.00 A LaTeX package for drawing matrices. spaceships
saw-script 0.7-1 1 0.00 The SAW scripting language. spaceships
cryptol-git 2.6.0.r31.g2e4adcc-1 1 0.00 A domain-specific language for specifying cryptographic algorithms. spaceships
abc-git 1.01-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification spaceships
saw-script-git r2688.75c7fd76-1 0 0.00 The Software Analysis Workbench spaceships

7 packages found. Page 1 of 1.