Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

JOpt.ASP 2.2.6 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News JOpt.ASP 2.2.6 (Default branch)
# 1  
Old 11-07-2008
JOpt.ASP 2.2.6 (Default branch)
JOpt.ASP is a consistent advancement of JOpt.NET that exposes the unique JOpt vehicle routing capabilities via standard HTTP/SOAP interfaces. JOpt.ASP has been designed for enterprise applications and Web-based solutions that are based on ASP.NET. JOpt.ASP provides its optimization facilities through a stateful Web service that comes with a comfortable programming interface that is very similar to JOpt.NET. License: Other/Proprietary License with Free Trial Changes:
This release has an additional construction algorithm in order to better (i.e. faster) cope with heterogeneous fleet problems. Image

Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question

LEARN ABOUT DEBIAN

clasp

CLASP(1)						      General Commands Manual							  CLASP(1)

NAME

       clasp - a conflict-driven nogood learning answer set solver

SYNOPSIS

       clasp [number][options]

DESCRIPTION

       This manual page documents briefly the clasp command.

       clasp  is  an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set program-
       ming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm  relies  on  conflict-
       driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp
       does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has  been  genuinely  developed  for
       answer  set  solving  based  on	conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT
       solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format).

OPTIONS

       These programs follow the usual GNU command line syntax, with long options starting with  two  dashes  (`-').   A  summary  of  options	is
       included below.	For a complete description, see <http://www.cs.uni-potsdam.de/clasp/>.

       -h, --help
	      Show summary of options.

       -v, --version
	      Show version of program.

SEE ALSO

       gringo(1).

AUTHOR

       clasp was written by Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>.

       This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).

								  March  4, 2010							  CLASP(1)