9 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
yices-bin 2.5.4-1 7 0.00 An automatic theorem prover - download release binary spaceships
cvc4-git 1.5.r189.g382813c77-1 2 0.00 An automatic theorem prover for SMT problems. spaceships
saw-script 0.2-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-hg r3088.7cc77dc226de-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification spaceships
texlive-kbordermatrix 1-1 0 0.00 A LaTeX package for drawing matrices. spaceships
saw-script-git ef1f6549-1 0 0.00 The SAW scripting language. spaceships
ghcup-git 0.0.6.r13.gd0eae9a-2 0 0.00 Painless installation of GHC toolchain spaceships

9 packages found. Page 1 of 1.