TU-Wien-DBAI/qbf2asp TU-Wien-DBAI/qbf2asp

  • Stars
    star
    1
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TU-Wien-DBAI/qbf2asp
github

TU-Wien-DBAI

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

htd

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

dynqbf

An expansion-based QBF solver for instances of low-to-medium treewidth.
C++
3
star
3

sharp

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