Bug#639363: ITP: depqbf -- solver for quantified boolean formulae

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: depqbf Version : 0.1 Upstream Author : Florian Lonsing florian.lons...@jku.at * URL : http://fmv.jku.at/depqbf/ * License : GPL Programming Lang: C

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

Dear Raphael, On Wed May 25, 2011 12:02:23PM +0200, Raphael Hertzog wrote: Hi, On Sun, 06 Mar 2011, Thomas Krennwallner wrote: * Package name: bool2cnf Version : 20110304 Upstream Author : Tatsuhiro Tsuchiya t-tut...@ist.osaka-u.ac.jp * URL : http://www

Bug#613986: Status?

copyright to DEP-5 and fixed a missing DEP-3 header in runlim-renaming.patch: http://mentors.debian.net/debian/pool/main/r/runlim/ thx and cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien

Bug#613986: Status?

has runlim 1.4-4 up for grabs, which is run 1.4 + renaming of the binary/manpage and changing the output to use runlim instead of run: http://mentors.debian.net/debian/pool/main/r/runlim/ cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: bool2cnf Version : 20110304 Upstream Author : Tatsuhiro Tsuchiya t-tut...@ist.osaka-u.ac.jp * URL : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf

Bug#613986: ITP: run -- tool for sampling time and memory usage

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: run Version : 1.4 Upstream Author : Armin Biere bi...@jku.at and Toni Jussila * URL : http://fmv.jku.at/run/ * License : BSD Programming Lang: C Description

Bug#605877: ITP: clasp -- A conflict-driven nogood learning answer set solver

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: clasp Version : 1.3.6 Upstream Author : Benjamin Kaufmann kaufm...@cs.uni-potsdam.de * URL : http://www.cs.uni-potsdam.de/clasp/ * License : GPL Programming

Bug#605881: ITP: coala -- translates action languages into answer set programs

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: coala Version : 1.0.1 Upstream Author : Torsten Grote torsten.gr...@uni-potsdam.de * URL : http://www.cs.uni-potsdam.de/~tgrote/coala/ * License : GPL

Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: gringo Version : 3.0.3 Upstream Author : Potassco team * URL : http://www.cs.uni-potsdam.de/gringo/ * License : GPL Programming Lang: C++ Description

Bug#257473: RFP: achievo -- web-based resource management tool for business environments

Package: wnpp Severity: wishlist * Package name: achievo Version : 1.0.4 Upstream Author : Ivo Jansch [EMAIL PROTECTED] * URL : http://www.achievo.org/ * License : GPL Description : web-based resource management tool for business environments Achievo is

Bug#244210: RFP: geximon -- exim MTA monitor

Package: wnpp Severity: wishlist * Package name: geximon Version : 0.7 Upstream Author : Gintautas Miliauskas [EMAIL PROTECTED] * URL : http://pov.lt/geximon * License : GPL Description : exim MTA monitor Geximon is a monitor for the exim mail server. It

Bug#204732: RFP: yammi -- Fastest and easiest access to your complete music collection

Package: wnpp Version: unavailable; reported 2003-08-09 Severity: wishlist * Package name: yammi Version : 0.8.2 Upstream Author : Oliver Nölle [EMAIL PROTECTED] * URL : http://yammi.sourceforge.net/ * License : GPL Description : Fastest and easiest

Bug#195688: RFP: ilias -- Web-based learning management system

Package: wnpp Version: unavailable; reported 2003-06-01 Severity: wishlist * Package name: ilias Version : 2.3.6 Upstream Author : ILIAS open source team [EMAIL PROTECTED] * URL : http://www.ilias.uni-koeln.de/ios/index-e.html * License : GPL Description

Bug#190758: RFP: xfe -- X File Explorer

Package: wnpp Version: N/A; reported 2003-04-25 Severity: wishlist * Package name: xfe Version : 0.54 Upstream Author : Roland Baudin [EMAIL PROTECTED] * URL : http://sourceforge.net/projects/xfe * License : GPL Description : X File Explorer X File

Bug#189967: RFP: petidomo -- Mailing List Manager

Package: wnpp Version: N/A; reported 2003-04-21 Severity: wishlist * Package name: petidomo Version : 4.0b1 Upstream Author : Peter Simons [EMAIL PROTECTED] * URL : http://www.ossp.org/pkg/tool/petidomo/ * License : GPL Description : Mailing List Manager

Bug#188060: RFP: lcwa -- Latest Changes Web Agent

Package: wnpp Version: N/A; reported 2003-04-07 Severity: wishlist * Package name: lcwa Version : 1.0.0 Upstream Author : Ralf S. Engelschall [EMAIL PROTECTED] * URL : http://www.engelschall.com/sw/lcwa/ * License : GPL Description : Latest Changes Web

Bug#175416: RFP: libsdl-gfx -- libsdl-gfx - SDL graphics drawing primitives and other support functions

Package: wnpp Version: N/A; reported 2003-01-05 Severity: wishlist * Package name: libsdl-gfx Version : 2.0.3 Upstream Author : Andreas Schiffler [EMAIL PROTECTED] * URL : http://www.ferzkopp.net/Software/SDL_gfx-2.0/index.html * License : LGPL Description

Bug#174871: RFP: libsdl-ttf2.0 -- ttf library for Simple DirectMedia Layer with FreeType 2 support

Package: wnpp Version: N/A; reported 2002-12-31 Severity: wishlist * Package name: libsdl-ttf2.0 Version : 2.0.5 Upstream Author : Sam Lantinga [EMAIL PROTECTED] * URL : http://www.libsdl.org/projects/SDL_ttf/ * License : LGPL Description : ttf library

Bug#174713: RFP: khdrecord -- A QT audio harddisk recorder with mp3/ogg support

Package: wnpp Version: N/A; reported 2002-12-30 Severity: wishlist * Package name: khdrecord Version : 7.4 Upstream Author : Peter Jodda [EMAIL PROTECTED] * URL : http://software.jodda.de/record.html * License : GPL Description : A QT audio harddisk