440Forums  |  MacMusic.org  |  PcMusic.org  |  440tv  |  Zicos  |  AudioLexic
Free   {key13}
16 sources
Windows
Mac
Linux

Simplify Theorem Prover 1.5.5 (Default branch)
FreshMeat

Monday November 12, 2007. 11:43 PM
FreshMeat

Simplify is an automated theorem prover used by ESC/Java2. License: Free for non-commercial use Changes: A universal binary for Mac OS X has been added.
Simplify automated theorem prover used byESC/Java2.License Free non-commercial useC Simplify Theorem Prover 1.5.5 (Default branch)
Simplify Theorem Prover 1.5.5 (Default branch) Read more at FreshMeat
www.pheedo.com/click.phdo?i=ddbc4a245124c3f7ca7ba2aea4cfa372

 
  Related News 
netstat-nat 1.4.9 (Default branch) netstat-nat 1.4.9 (Default branch)
 FreshMeat 11/24/07 10 PM 
mpmath 0.5 (Default branch) mpmath 0.5 (Default branch)
 FreshMeat 11/24/07 10 PM 
log4sendpp 0.5.0 (Default branch) log4sendpp 0.5.0 (Default branch)
 FreshMeat 11/24/07 10 PM 
gnokii 0.6.22 (Default branch) gnokii 0.6.22 (Default branch)
 FreshMeat 11/24/07 10 PM 
CacheGuard OS 5.2.6 (Default branch) CacheGuard OS 5.2.6 (Default branch)
 FreshMeat 11/24/07 04 PM 
OxygenOffice Professional 2.3.0 (Default branch) OxygenOffice Professional 2.3.0 (Default branch)
 FreshMeat 11/24/07 04 PM 
MagicSudoku 1.0 (Default branch) MagicSudoku 1.0 (Default branch)
 FreshMeat 11/24/07 04 PM 
Amahi 7 (Default branch) Amahi 7 (Default branch)
 FreshMeat 11/24/07 04 PM 
Hivurt 0.1.3 (Default branch) Hivurt 0.1.3 (Default branch)
 FreshMeat 11/24/07 04 PM 
MathMap 1.2.4 (Default branch) MathMap 1.2.4 (Default branch)
 FreshMeat 11/24/07 12 PM 
HTTPTunnel 1.0.1 (Default branch) HTTPTunnel 1.0.1 (Default branch)
 FreshMeat 11/24/07 12 PM 
bogom 1.9.1 (Default branch) bogom 1.9.1 (Default branch)
 FreshMeat 11/24/07 12 PM 
Sunifdef 3.1.2 (Stable branch) Sunifdef 3.1.2 (Stable branch)
 FreshMeat 11/24/07 12 PM 
LazyJ 1.0.3 (Default branch) LazyJ 1.0.3 (Default branch)
 FreshMeat 11/24/07 12 PM 
pws 0.1.4 (Default branch) pws 0.1.4 (Default branch)
 FreshMeat 11/24/07 12 PM 
Blitz templates for PHP 0.5.8 (Default branch) Blitz templates for PHP 0.5.8 (Default branch)
 FreshMeat 11/24/07 12 PM 
Q7Z 0.6.3 (Default branch) Q7Z 0.6.3 (Default branch)
 FreshMeat 11/24/07 12 PM 
SportsTracker 3.1.0 (Default branch) SportsTracker 3.1.0 (Default branch)
 FreshMeat 11/24/07 12 PM 
benerator 0.3.03 (Default branch) benerator 0.3.03 (Default branch)
 FreshMeat 11/24/07 12 PM 
PolarBlog 1.10.2 (Default branch) PolarBlog 1.10.2 (Default branch)
 FreshMeat 11/24/07 12 PM 
Ctpp 1.0.25 (Default branch) Ctpp 1.0.25 (Default branch)
 FreshMeat 11/24/07 12 PM 

Options
Filters
Submit Site
About Us
Search
Download Zicos
Fri December 5, 01:53 AM
Top 20
Bonjour Mounter 1.4 - Mount your AFP or SMB share points silently in the background. (Free)
SimplyRAR 1.10 - GUI for RAR compression. (Free)
Toon Boom Animate 1.0 - End-to-end vector based animation software. (Demo)
TuneInstructor 2.1 - Provides many functions in iTunes. (Free)
MacFamilyTree 5.3.4
iVolume 3.1.4 - Improves the built-in 'Sound Check' function of iTunes. (Shareware)
Lucy's Expedition
FreeRapid 0.71 (Default branch)
Xtream Path 1.3 - Path editing tool for Adobe Illustrator. (Commercial)
SWF Encrypt 5.0.4 - Protect your .swf files from decompilers. (Demo)
TorrentDam 1.1 - Torrent search utility. (Free)
Office Convert Document To Image Free
iEraser 1.0 - Simple way to erase your CDs and DVDs. (Free)
iDentify 20081204 - Utility to add iTunes style metadata to mpeg4 video files. (Free)
Vanilla 3.0 - Simple drawing application (was Vanilla Draw). (Free)
Rapplez SEA
Desktop Stoners: Nixon Dymes
QuickWho 1.0 - Graphical interface to the Unix 'whois' command-line utility. (Shareware)
IntelBurnTest 1.9
Santa and the City 3D Christmas Screen Saver 1.0 - Fly with Santa and his reindeer through a 3D city. (Shareware)
updated 18 min ago
Free   {key13}
News copyright owned by their original publishers | Copyright © 2004 - 2008 Zicos / 440Network