Programs developed

Programs developed

Please fill in the pages pertaining to tools you have developed with the necessary information :

• Your name
• Position in the SVN repository
• Language and tools used
• Compilation instructions
• Usage instructions

EDOSLib

Ceve software/dependencies/ceve/

Ocaml program parsing Debian, RPM and other package descriptions and producing an intermediate format. Can also fill a SQL database.

debcheck/rpmcheck? a.k.a. checker?

A very fast Ocaml tool to check packagewise installability of a repository.

CLPProblem Generator?

Java program taking the output from ceve? and producing for each package Oz source code describing its installability.

depextract, debsqlfill? software/dependencies/depextract/trunk/

• depextract: Ocaml program parsing the Debian database, converting them to boolean AND-OR-NOR graphs and outputting these in CNF format or as Dotty files.
• debsqlfill?: Ocaml program for filling a SQL database with historic Debian metadata. Includes scripts for fetching these data from debian.org?

history, software/dependencies/history/trunk/

• history: Program for querying a SQL database filled with debsqlfill.

anla, software/dependencies/anla (in development)

A web server for accessing historical metadata and results of installability checks.

Metadataserver

A small java application that allows to append or override metadata available from a debian package repository.

fakeapt?

Shell script allowing one to test the installability of a given set of packages using APT?.

Libraries

These Ocaml libraries are packaged with Ocamlfind. To install them :

make && make opt && sudo make install

libutil?

General-purpose utility library

libconfig?

An advanced configuration file library

libprogress?

A simple progress indicator library

libhttpd?

A multi-host, distributed HTTP server library.

libdebarchive?

Library for accessing Debian historical metadata from SQL

libsatsolver?

Jerôme's SAT solver, librairyfied

Deprecated

These programs have been obsoleted or integrated into other software.

xlsat

Program converting Oz source code generated by CLPProblem Generator? into CNF SAT formulas in CNF format.

naive?

SAT solver using the Davis-Putnam algorithm and taking CNF SAT problems in CNF format.