Qb application framework

  •        0

Qb is an application framework which will provide dynamic object creation, ODBC support, XML support, and more. It is based on Qt, and will primarily be used in the Case tool Yact, at http://yact.sourceforge.net.

http://qbf.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Yet Another Case Tool


Yact is an UML design tool, based on Qb (qbf.sourceforge.net) and Qt (www.troll.no/qt). The goal is more to be fast and flexible than covering every aspect of UML.

Qbfdd - A Delta Debugger for Quantified Boolean Formulae Solvers


QBFDDis a delta debugger (here: input minimizer) for Solvers failing on a given Quantified Boolean Formula (QBF) in QDIMACS format. Extracts a subformula of a given input formula such that no further simplifications under current configuration - while preserving the solver's original behaviour - are possible. QBFDD is especially effective when used for automated testing in combination with fuzzing (see QBFuzz). QBFDD supports various configurations and minimzation strategies and is currently kno

depqbf - DepQBF, a solver for quantified boolean formulae (QBF).


DepQBF, a solver for quantified boolean formulae (QBF).

nenofex - Nenofex, an expansion-based QBF solver for negation normal form


Nenofex, an expansion-based QBF solver for negation normal form

broesdecat-Minisatid


DPLL(T)-based solver to generate models to benchmarks in ECNF, OPB, ground lparse or QBF. Also able to rewrite input into the Flatzinc CP language.