Potassco - Browse /clasp/1.3.8 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README	2011-04-21	239 Bytes	0
clasp-1.3.8-x86-linux.tar.gz	2011-04-21	728.6 kB	0
clasp-1.3.8-win32.tar.gz	2011-04-21	306.6 kB	0
clasp-1.3.8-source.tar.gz	2011-04-21	274.0 kB	0
Totals: 4 Items		1.3 MB	0

TYPE: maintenance release

clasp 1.3.8: Thursday, 21st April 2011
  * added analyzeRootConflict() to analyze final conflict when solving under assumptions
  * fixed a couple of bugs in the handling of frozen atoms in incremental setting

Source: README, updated 2011-04-21

Other Useful Business Software

Deliver secure remote access with OpenVPN.

Trusted by nearly 20,000 customers worldwide, and all major cloud providers.

OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.

Get started — no credit card required.

MongoDB Atlas | Run databases anywhere

Ensure the availability of your data with coverage across AWS, Azure, and GCP on MongoDB Atlas—the multi-cloud database for every enterprise.

MongoDB Atlas allows you to build and run modern applications across 125+ cloud regions, spanning AWS, Azure, and Google Cloud. Its multi-cloud clusters enable seamless data distribution and automated failover between cloud providers, ensuring high availability and flexibility without added complexity.

Learn More

Recommended Projects

DLVHEX solver for HEX-programs
dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
dlvhex-semweb
Semantic Web related plugins for the DLVHEX system.
GrinGo
GrinGo is now part of Potassco http://potassco.sourceforge.net/

Potassco Files

Get an email when there's a new version of Potassco