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.r165.g942173b-1 1 0.07 A domain-specific language for specifying cryptographic algorithms. spaceships
cvc4-git 1.5.r189.g382813c77-1 2 1.00 An automatic theorem prover for SMT problems. spaceships
gmp4 4.3.2-1 9 0.98 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 cbeb831-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.2-1 7 0.00 An automatic theorem prover - download release binary spaceships

8 packages found. Page 1 of 1.