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 Description : solver for quantified boolean formulae DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF with conflict-driven clause and solution-driven cube learning. By analyzing the structure of a formula, DepQBF tries to identify independent variables. In addition to other benefits, this often increases freedom for decision making. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110826114256.ga7...@debian.lan
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-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/ * License : BSD Programming Lang: C Description : tool for converting a boolean formula into CNF Given a Boolean formula, this tool constructs a Boolean formula in CNF that is satisfiable iff so is the given formula. The output CNF formula is in DIMACS format. How is your work progressing? I could sponsor the package if you have something ready. But it would be even better if you could maintain it as part of the Debian Science team. http://wiki.debian.org/DebianScience http://wiki.debian.org/DebianScience/Logic I didn't find time yet to package it, but I'll definitely assign it to the logic flavor of DebianScience. I'll contact you for sponsoring once it is stable. Thanks for the offer! Best, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110525104721.gb6...@kr.tuwien.ac.at
Bug#613986: Status?
Hey Michael, On Mon Mar 14, 2011 07:33:32PM +, Michael Tautschnig wrote: I just started reviewing this package and noticed at least one oddity which you might want to ping Armin about: LICENSE: Copyright (c) 2005-20010 Armin Biere, Johannes Kepler University. ^ Quite future-proof, isn't it :-) As such, debian/copyright doesn't seem to be 100% accurate as it only states copyright years up to 2009. While you're at it, would you mind updating debian/copyright to DEP-5? Right, there is an inconsistency on the web LICENSE file and the LICENSE in the tarball. I'll check with Armin. I'd prefer if you could fix those minor issues instead of risking a REJECT by ftp-master. Then I should be ready to upload the fixed version at almost any time unless Lars would prefer to sponsor it. I have re-uploaded the package now and converted 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, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110320111821.ga9...@kr.tuwien.ac.at
Bug#613986: Status?
On Sun Mar 13, 2011 03:58:31PM +, Lars Wirzenius wrote: On la, 2011-03-12 at 17:40 +, Michael Tautschnig wrote: I just wanted to ask what the status of the proposed package run (or whatever its name shall be) is as I'd be interested in using that for an upcoming package. Lars, Thomas told me you were taking over, is that right? I haven't had time to sponsor an upload yet, sorry. I'm OK with anyone else doing it, of course, please don't block on me if you want to do it. Fine by me ;-). As discussed with upstream, future versions of run will be called runlim. mentors.d.n 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 of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ . DVR: 0005886 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110313160942.gc5...@kr.tuwien.ac.at
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/ * License : BSD Programming Lang: C Description : tool for converting a boolean formula into CNF Given a Boolean formula, this tool constructs a Boolean formula in CNF that is satisfiable iff so is the given formula. The output CNF formula is in DIMACS format. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110306100419.19197.85095.report...@gluck.kr.tuwien.ac.at
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 : tool for sampling time and memory usage run is a tool for sampling time and memory usage of a program and its children using the proc file system of Linux. Time and space limits are also supported. It is very helpful for benchmarking and running competitions. It also supports limits on wall clock time and thus can control runs of multi-threaded programs on multi-core machines as well. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110218173058.18570.38703.report...@gluck.kr.tuwien.ac.at
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 Lang: C++ Description : A conflict-driven nogood learning answer set solver clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (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 SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format). -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204103103.15124.48401.report...@gluck.kr.tuwien.ac.at
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 Programming Lang: C++ Description : translates action languages into answer set programs The coala tool translates an action language into a logic program under the answer set semantics. After being grounded by lparse or gringo, the logic program can be solved by an answer set solver such as clasp. At the moment coala is able to translate the action language AL, B, C, a subset of C+ and the action language CTAID. The type of input language can be specified with a command line option. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204110640.15298.56534.report...@gluck.kr.tuwien.ac.at
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 : An lparse-compatible grounder for (disjunctive) logic programs Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program. Gringo is such a grounder. Its output can be processed further with clasp, claspD, claspar, or claspfolio. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101204105916.15165.7213.report...@gluck.kr.tuwien.ac.at
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 a flexible web-based resource management tool for business environments. Achievo's resource management capabilities will enable organisations to support their business processes in a simple, but effective manner. A solution that fits seamlessly to the wishes of every organisation and offers the possibility and freedom to adapt the functionality to the needs of the organisation. It will fit into every organisation because Achievo is extremly easy to change to your specific situation. Some important concepts of Achievo: * Totally web-based system * Based on system independent cutting edge technology * Completely adaptable to your own organisation * No licensefees or other limitations on use of the software * All source-code of the software is available * Makes use of open standards and protocols. Achievo is build out of several modules and a central database. Together these modules ensure an optimal combination of intranet applications for business environments. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.4.26-1-k7 Locale: LANG=C, [EMAIL PROTECTED]
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 has all the features of the original program, eximon, plus some more, and looks nicer. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (990, 'testing') Architecture: i386 (i686) Kernel: Linux 2.4.25-1-k7 Locale: LANG=C, [EMAIL PROTECTED]
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 access to your complete music collection Yammi (Yet Another Music Manager I...) is a tool to manage your song collection (mp3, ogg, wav). It is centered around an intuitive graphical user interface and a song database, which allows very convenient and fast access to any songs. For playing songs the program serves as a front-end for either XMMS (X MultiMedia System) or Noatun. Basically, Yammi can handle all file formats supported by XMMS or Noatun. However, reading tags and layer information (length, bitrate) is only supported for mp3, ogg and wav (no tags) files. Yammi enables you to * conveniently search for songs (fuzzy search) * organize your songs into playlists/categories * keep statistics (when/how many times was song x played?) * support for id3 and ogg tag reading and writing (including id3v2) * easily keep your song info (tags and filenames) consistent * assist in burning your song collection to multiple CDs * act as a jukebox, loading song files on demand from removable media * prelisten to songs on headphone to DJ your own party (needs a second sound device) * invoke other programs such as k3b, cdlabelgen or your own scripts to burn CDs, generate CD labels or execute other commands using the information from Yammi's song database -- System Information: Debian Release: testing/unstable Architecture: i386 Kernel: Linux herbalizer 2.4.21-3-586tsc #1 Sun Jul 20 15:03:47 EST 2003 i586 Locale: LANG=C, [EMAIL PROTECTED]
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 : Web-based learning management system The web-based learning management system ILIAS is available as Open Source software under the GNU General Public License (GPL). Universities, educational institutions and every interested person may use the system free of charge and contribute to its further development. ILIAS has initially been developed in the VIRTUS project of the Faculty of Economics, Business Administration and Social Sciences at the University of Cologne. As a client-server system ILIAS allows users to create, edit and publish course units in an integrated system with their normal web browsers. The current version of ILIAS offers the following features: * Personal desktop for each user with information about last visited courses, new mail or forum entries * Learning environment with personal annotations, test, glossary, print function, search engine and download * Course management system * Communication features like mail system, forums and chat * Group system for collaborative work and organising users and resources * Integrated authoring environment (Editor) to create courses even without any HTML knowledge * Support of metadata for all levels of learning objects * Context-sensitive help system for learners and authors * User and system administration interface * System languages: English, German, French, Spanish, Norwegian, Swedish, Danish, Polish, Italian, Greek, Indonesian, Ukrainian and simplified Chinese -- System Information: Debian Release: testing/unstable Architecture: i386 Kernel: Linux super-skunk 2.4.20-1-k7 #1 Sat Mar 22 15:17:52 EST 2003 i686 Locale: LANG=C, [EMAIL PROTECTED]
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 Explorer (xfe) is a lightweight file manager for X11, written using the FOX toolkit. It is desktop independent and can easily be customized. It has Windows Commander or MS-Explorer look and it's very fast and small. Xfe is based on the popular, but discontinued X Win Commander, written by Maxim Baranov. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux herbalizer 2.4.20-1-586tsc #1 Sat Mar 22 12:35:27 EST 2003 i586 Locale: LANG=C, [EMAIL PROTECTED]
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 OSSP petidomo is a small and fast mailing list manager for use with a Mail Transfer Agent (MTA) like Sendmail or Postfix. It is a robot which provides unattended mailing list subscription maintainance. For this, users send subscribe/unsubscribe commands via Email to the OSSP petidomo robot which in turn maintains the subscriber list for the MTA. For each posting to the mailing list, OSSP petidomo first applies UCE filters and then reinjects the mail into the MTA for delivery to all subscribers. What distinguishes OSSP petidomo from other mailing list managers is his UCE filtering technique based on requiring an authentication reply from unknown senders. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux herbalizer 2.4.20-1-586tsc #1 Sat Mar 22 12:35:27 EST 2003 i586 Locale: LANG=C, [EMAIL PROTECTED]
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 Agent LCWA is a web agent which determines the last changes time of documents in an Intranet's webcluster by crawling in a fast way through its webareas via HTTP. It was written with speed in mind, so it uses a variable number of pre-forked crawling clients which work in parallel. They are coordinated via a server which implements a shared URL stack and a common result pool. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux super-skunk 2.4.20-1-k7 #1 Sat Mar 22 15:17:52 EST 2003 i686 Locale: LANG=C, [EMAIL PROTECTED]
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 : libsdl-gfx - SDL graphics drawing primitives and other support functions The SDL_gfx library evolved out of the SDL_gfxPrimitives code which provided basic drawing routines such as lines, circles or polygons and SDL_rotozoom which implemented a interpolating rotozoomer for SDL surfaces. The current components of the SDL_gfx library are: * Graphic Primitives (SDL_gfxPrimitves.h) * Rotozoomer (SDL_rotozoom.h) * Framerate control (SDL_framerate.h) * MMX image filters (SDL_imageFilter.h) The library is backwards compatible to the above mentioned code. Its is written in plain C and can be used in C++ code. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux super-skunk 2.4.20-k7 #1 Sat Dec 21 18:08:10 EST 2002 i686 Locale: LANG=C, [EMAIL PROTECTED]
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 for Simple DirectMedia Layer with FreeType 2 support This is a sample library which allows you to use TrueType fonts in your SDL applications. It's the successor of libsdl-ttf1.2 and uses FreeType 2 font engine instead of FreeType 1. Would be useful to have this library as it doesn't depend on oldlibs libttf2. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux super-skunk 2.4.19-k7 #1 Tue Nov 19 03:01:13 EST 2002 i686 Locale: LANG=C, [EMAIL PROTECTED]
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 recorder with mp3/ogg support The program reads audio data from the souncdard (dev/dsp) and storesthem to disk. You can have continued recording like a tape recorder. The limitation is only your harddisk. As an option you can only encode the audio data into mp3 or ogg-vorbis, which reduces the data size to a tenth. For MP3 encoding you should have at least a CPU with more than 300 MHz. For Ogg encoding even more CPU speed is needed. A special mode is the analyze mode: the program analyzes the signal. If the input level is below a value, the recording is stopped. If there is a signal, then the recording starts automatically. -- System Information Debian Release: testing/unstable Architecture: i386 Kernel: Linux super-skunk 2.4.19-k7 #1 Tue Nov 19 03:01:13 EST 2002 i686 Locale: LANG=C, [EMAIL PROTECTED]