- gringo: creates lparse-compatbile variable-free programs.- clingo: stands for clasp on gringo and combines both systems ina monolithic way. Its input language is that of gringo and itsoutput corresponds to that of clasp.- iclingo: an incremental answer set programming systemimplemented on top of clingo. It is based on the idea that thegrounder as well as the solver are implemented in a stateful way.Thus, both keep their previous states while increasing anincremental parameter. As regards grounding, at each incrementalstep, the goal is to produce only ground rules stemming from thecurrent program slice, without re-producing previous ground rules.The ground program slices are then gradually passed to the solverthat accumulates ground rules and computes answer sets for them.

Description

represents a line break.
Start a new line in the equivalent position in the translation.

represents a space character.
Enter a space in the equivalent position in the translation.

Current
French:

(no translation yet)

Located in
Package: gringo

15069.

English:

Google Drive client for GNU/Linux

Summary

Current
French:

(no translation yet)

Located in
Package: grive

15070.

English:

Grive is a Google Drive (an online storage service) client. It allows synchronize your Google Drive files with a directory on your local storage from the command-line.

Description

Current
French:

(no translation yet)

Located in
Package: grive

15071.

English:

It automatically synchronizes your local copy of your Google Drive, adding or removing files from the online storage. It allows add new files on your local directory and them will be uploaded to Google Drive when it synchronizes.

Description

Current
French:

(no translation yet)

Located in
Package: grive

15072.

English:

Grive is still in process of development. It will include support for auto-detecting changes on the local storage to force a synchronization and a daemon mode which will work on user space to have your local files always synchronized with your online storage.

Description

Current
French:

(no translation yet)

Located in
Package: grive

15074.

English:

Just start grml-btnet and choose what you want to do.

Description

Current
French:

(no translation yet)

Located in
Package: grml-btnet

15075.

English:

wrapper around debootstrap for installing pure Debian

Summary

Current
French:

(no translation yet)

Located in
Package: grml-debootstrap

15076.

English:

Provides a wrapper suite around debootstrap and cdebootstrap to ease installation of a pure Debian system.

Description

Current
French:

(no translation yet)

Located in
Package: grml-debootstrap

15077.

English:

Configuration can be done on the command line, in a dialog frontend or in /etc/debootstrap/config. You will get a pure Debian system installed on the specified device or directory, or directly into an image file suitable for Virtual Machine use.