8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
abc-hg r3088.7cc77dc226de-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification spaceships
cryptol-git 2.5.0.r254.g8c6af86-1 1 0.02 A domain-specific language for specifying cryptographic algorithms. spaceships
cvc4-git 1.5.r189.g382813c77-1 2 0.31 An automatic theorem prover for SMT problems. spaceships
gmp4 4.3.2-1 9 0.30 Legacy version of gmp. Provides libgmp.so.3. spaceships
saw-script 0.2-1 1 0.00 The SAW scripting language. spaceships
saw-script-git 6e417757-1 0 0.00 The SAW scripting language. spaceships
texlive-kbordermatrix 1-1 0 0.00 A LaTeX package for drawing matrices. spaceships
yices-bin 2.5.4-1 7 0.00 An automatic theorem prover - download release binary spaceships

8 packages found. Page 1 of 1.