Potassco - Browse /clavis 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
clavis-1.1.1.tar.gz	2013-05-30	455.8 kB	0
clavis-1.1-source.tar.gz	2013-05-23	455.7 kB	0
Totals: 2 Items		911.5 kB	0

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

sealion
mmdasp is intended to provide several tools for declarative program development and is linked to a scientific project that will be carried out at Vienna University of Technology. Our main system is the SeaLion IDE for Answer-Set Programming. For more information on that visit our...
Galliwasp
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
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.
Linear Program Solver (Simplex)
Linear Program Solver (Solvexo) is an optimization package intended for solving linear programming problems. The main features of the Solvexo are: · Solvexo solver is based on the efficient implementation of the simplex method (one or two phases); · Solvexo provides not only an answer, but...
Linear Program Solver
Linear Program Solver (LiPS) is an optimization package oriented on solving linear, integer and goal programming problems. The main features of LiPS are: ● LiPS is based on the efficient implementation of the modified simplex method that solves large scale problems. ● LiPS provides not just...

Potassco Files

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