The "/postfixadmin/postfi..fixadmin_2.3_all.deb" file could not be found or is not available. Please select another file.
Looking for the latest version? Download clingo-3.0.4-source.tar.gz (539.5 kB)
Home / clasp / 2.0.1
Name Modified Size Status
Parent folder
Totals: 4 Items   1.5 MB
README 2011-04-27 875 Bytes 21 downloads
clasp-2.0.1-st-x86-linux.tar.gz 2011-04-27 796.0 kB 45 downloads
clasp-2.0.1-st-win32.tar.gz 2011-04-27 334.2 kB 56 downloads
clasp-2.0.1-source.tar.gz 2011-04-27 360.4 kB 90 downloads
NOTE: The supplied binaries are *NOT* linked against the Intel(R) Threading Building Blocks library and therefore DO NOT support parallel (multithreaded) solving. To enable multithread support you have to build clasp from sources. See README for detailed instructions. clasp 2.0.1: Wednesday, 27th April 2011 * fixed various (spurious) warnings * updated ProgramOptions to circumvent tellg() bug in g++-4.{4,5,6} under Debian (see also: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623850) * fixed some issues in build scripts (many thanks to Thomas Krennwallner) - configure.sh no longer sets RPATH unless "--set-rpath" is given - check for libtbb now also works on Mac OS - added code for finding TBB in default paths - fixed argument order in calls to compiler - removed spaces in specification of include/library directories
Source: README, updated 2011-04-27