Skip to content
@TU-Wien-DBAI

TU Wien - Database and Artificial Intelligence Group

Software repositories for code developed by the DBAI group of TU Wien (Vienna University of Technology).

Popular repositories Loading

  1. htd htd Public

    A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

    C++ 3 5

  2. dynqbf dynqbf Public

    An expansion-based QBF solver for instances of low-to-medium treewidth.

    C++ 3

  3. sharp sharp Public

    Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/

    C++ 1

  4. qbf2asp qbf2asp Public

    Source code of qbf2asp, a tool that rewrites Quantified Boolean Formulas (QBF) to Answer Set Programming (ASP) programs.

    C++ 1

  5. logic-parsers logic-parsers Public

    Source code of the logicparsers library (liblogicparsers)

    C++

  6. logic-helpers logic-helpers Public

    Source code of the logichelpers library (liblogichelpers)

    C++

Repositories

Showing 8 of 8 repositories
  • htd Public

    A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

    TU-Wien-DBAI/htd’s past year of commit activity
    C++ 3 GPL-3.0 5 0 0 Updated Jun 29, 2023
  • htd-1 Public Forked from mabseher/htd

    A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

    TU-Wien-DBAI/htd-1’s past year of commit activity
    C++ 0 GPL-3.0 18 0 0 Updated Jan 2, 2020
  • argu-replacementpatterns Public

    A project on replacement patterns for abstract argumentation

    TU-Wien-DBAI/argu-replacementpatterns’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Aug 22, 2018
  • dynqbf Public

    An expansion-based QBF solver for instances of low-to-medium treewidth.

    TU-Wien-DBAI/dynqbf’s past year of commit activity
    C++ 3 GPL-3.0 0 0 0 Updated May 2, 2018
  • sharp Public

    Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/

    TU-Wien-DBAI/sharp’s past year of commit activity
    C++ 1 GPL-3.0 0 0 0 Updated Mar 2, 2018
  • logic-helpers Public

    Source code of the logichelpers library (liblogichelpers)

    TU-Wien-DBAI/logic-helpers’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Mar 2, 2018
  • logic-parsers Public

    Source code of the logicparsers library (liblogicparsers)

    TU-Wien-DBAI/logic-parsers’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Mar 2, 2018
  • qbf2asp Public

    Source code of qbf2asp, a tool that rewrites Quantified Boolean Formulas (QBF) to Answer Set Programming (ASP) programs.

    TU-Wien-DBAI/qbf2asp’s past year of commit activity
    C++ 1 GPL-3.0 0 0 0 Updated Mar 2, 2018

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…