Tipps

Linking hint

The filename links to detailed information

Download leads to the download page

Package List alt-ergo RPMs

  • Package Type: ALL
  • Architecture: ALL
  • Distribution: ALL
BackCategories
Package Name:alt-ergo
Summary:Automatic theorem prover dedicated to program verification
File Name Distribution Version Release Architecture Download
1alt-ergo_0.95.1 -1_i386.debDebian 0.95.1-1i386Download
2alt-ergo_0.94 -2_i386.debDebian 0.94-2i386Download
3alt-ergo_0.91 -2_i386.debDebian 0.91-2i386Download
4alt-ergo_0.94 -2_amd64.debUbuntu Dev0.94-2amd64Download
5alt-ergo_0.94 -2_i386.debUbuntu Dev0.94-2i386Download
6alt-ergo_0.94 -1_amd64.debUbuntu Dev0.94-1amd64Download
7alt-ergo_0.94 -1_i386.debUbuntu Dev0.94-1i386Download
8alt-ergo_0.93 -3_amd64.debUbuntu 0.93-3amd64Download
9alt-ergo_0.93 -3_i386.debUbuntu 0.93-3i386Download
10alt-ergo_0.91 -2_amd64.debUbuntu 0.91-2amd64Download
11alt-ergo_0.91 -2_i386.debUbuntu Dev0.91-2i386Download
12alt-ergo_0.9 -1build1_amd64.debUbuntu 0.9-1build1amd64Download
13alt-ergo_0.9 -1build1_i386.debUbuntu 0.9-1build1i386Download
14alt-ergo_0.8 -1build1_amd64.debUbuntu 0.8-1build1amd64Download
15alt-ergo_0.8 -1build1_i386.debUbuntu 0.8-1build1i386Download
Package Name:alt-ergo
Summary:Automated theorem prover including linear arithmetic
File Name Distribution Version Release Architecture Download
1alt-ergo-0.95.1-1 .fc19.i686.rpmFedora Core 19 Development0.95.11.fc19i686Download
2alt-ergo-0.94-6 .fc18.i686.rpmFedora Core 18 Development0.946.fc18i686Download
3alt-ergo-0.94-6 .fc18.src.rpmFedora Core 18 Development0.946.fc18x86_64Download
4alt-ergo-0.94-6 .fc18.x86_64.rpmFedora Core 18 Development0.946.fc18x86_64Download
5alt-ergo-0.94-3 .fc17.i686.rpmFedora Core 17 0.943.fc17i686Download
6alt-ergo-0.94-3 .fc17.src.rpmFedora Core 17 0.943.fc17x86_64Download
7alt-ergo-0.94-3 .fc17.x86_64.rpmFedora Core 17 0.943.fc17x86_64Download
8alt-ergo-0.94-1 .fc16.i686.rpmFedora Core 16 Updates0.941.fc16i686Download
9alt-ergo-0.94-1 .fc16.src.rpmFedora Core 16 Updates0.941.fc16x86_64Download
10alt-ergo-0.94-1 .fc16.x86_64.rpmFedora Core 16 Updates0.941.fc16x86_64Download
11alt-ergo-0.93-2 .fc15.i686.rpmFedora Core 15 Updates0.932.fc15i686Download
12alt-ergo-0.93-2 .fc15.src.rpmFedora Core 15 Updates0.932.fc15x86_64Download
13alt-ergo-0.93-2 .fc15.x86_64.rpmFedora Core 15 Updates0.932.fc15x86_64Download
14alt-ergo-0.93-1 .fc16.i686.rpmFedora Core 16 0.931.fc16i686Download
15alt-ergo-0.93-1 .fc16.src.rpmFedora Core 16 0.931.fc16x86_64Download
16alt-ergo-0.93-1 .fc16.x86_64.rpmFedora Core 16 0.931.fc16x86_64Download
17alt-ergo-0.92.1-2 .fc15.i686.rpmFedora Core 15 0.92.12.fc15i686Download
18alt-ergo-0.92.1-2 .fc15.src.rpmFedora Core 15 0.92.12.fc15x86_64Download
19alt-ergo-0.92.1-2 .fc15.x86_64.rpmFedora Core 15 0.92.12.fc15x86_64Download
Package Name:alt-ergo
Summary:Alt-Ergo automatic theorem prover
File Name Distribution Version Release Architecture Download
1alt-ergo-0.9-2 .fc12.i686.rpmFedora Core 13 Development0.92.fc12i686Download
2alt-ergo-0.9-2 .fc12.src.rpmFedora Core Development0.92.fc12ppcDownload
3alt-ergo-0.9-2 .fc12.ppc.rpmFedora Core 12 0.92.fc12ppcDownload
4alt-ergo-0.9-2 .fc12.ppc64.rpmFedora Core 12 0.92.fc12ppc64Download
5alt-ergo-0.9-2 .fc12.x86_64.rpmFedora Core 13 Development0.92.fc12x86_64Download
6alt-ergo-0.9-1 .fc11.i586.rpmFedora Core 11 Updates0.91.fc11i586Download
7alt-ergo-0.9-1 .fc11.src.rpmFedora Core 11 Updates0.91.fc11ppcDownload
8alt-ergo-0.9-1 .fc11.ppc.rpmFedora Core 11 Updates0.91.fc11ppcDownload
9alt-ergo-0.9-1 .fc11.ppc64.rpmFedora Core 11 Updates0.91.fc11ppc64Download
10alt-ergo-0.9-1 .fc11.x86_64.rpmFedora Core 11 Updates0.91.fc11x86_64Download
11alt-ergo-0.8-5 .fc11.i586.rpmFedora Core 11 0.85.fc11i586Download
12alt-ergo-0.8-5 .fc11.src.rpmFedora Core Development0.85.fc11ppcDownload
13alt-ergo-0.8-5 .fc11.ppc.rpmFedora Core 11 0.85.fc11ppcDownload
14alt-ergo-0.8-5 .fc11.ppc64.rpmFedora Core 11 0.85.fc11ppc64Download
15alt-ergo-0.8-5 .fc11.x86_64.rpmFedora Core Development0.85.fc11x86_64Download