Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

SHOP / News: Recent posts

SHOP2 2.8.0 released

SHOP2 2.8.0 has been released and is available for download. Unfortunately, there seems to be a bug with the Sourceforge site such that the standard download button does not link to the latest release. We have a ticket in to the Sourceforge maintainers to get this fixed.

Meanwhile, to get the latest version of SHOP2, open the SHOP folder in the "files" section and grab that tarball.

Posted by Robert P. Goldman 2011-04-12

SHOP2 2.0.1 release

We have just released a tarball of the Common Lisp version of SHOP2, version 2.0.1. See the release notes for details.
Note that we are not currently using the Sourceforge CVS, so the CVS version is far behind the release we have just sent out. Currently the developers are using a private subversion repository.
If there is substantial interest, we could probably provide some kind of subversion mirror here.

Posted by Robert P. Goldman 2007-10-31

JSHOP2GUI Bugfix Release

A maintenance release of JSHOP2GUI is now available for download.
Notable changes include: support for multiple planning problems in the same file, bug fix for ForAll when used with conjuctions, and broader use of generics.

Posted by Ron Alford 2007-10-16

SHOP2 bugfix revision announced

A first release candidate for SHOP2 version 1.3 is now available for download. New features include ASDF system definition, and a regression test suite. Has been tested on Allegro Common Lisp and Steel Bank Common Lisp on Linux.

Posted by Robert P. Goldman 2006-06-13