Domagoj Babic
Print
View
WikiSearch
GoogleSearch
Home Page
Scholarly Stuff (old)
Books
Lineage
Publications
Tools
Social Networks
LinkedIn
Facebook
Spear
/ Spear decision procedure download page
Platform
Release
Date
Change Log
Linux 2.6 i586_32
2.7
Oct 28, 2008
[
bz2
]
Linux 2.6 x86_64
2.7
Oct 28, 2008
[
bz2
]
Cygwin 1.5 i586_32
2.7
Oct 28, 2008
[
bz2
]
Mac OS X ppc_32
1.9
Jun 25, 2007
[
bz2
]
Page last modified on May 18, 2012, at 09:10 PM
Edit
EditSideBar
Source
Attributes
History
Attach