We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
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.
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