Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - Search Criteria: spaceships

9 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 2.4.0-1 3 0.00 A domain-specific language for specifying cryptographic algorithms. spaceships
cryptol-git 2.4.0.r122.g5b502ec-1 0 0.00 A domain-specific language for specifying cryptographic algorithms. spaceships
cvc4-git v1.4-1 0 0.00 An automatic theorem prover for SMT problems. spaceships
gmp4 4.3.2-1 7 0.71 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.1-1 7 0.01 An automatic theorem prover - download release binary spaceships

9 packages found. Page 1 of 1.