EnglishFrenchSpanish

OnWorks favicon

depqbf - Online in the Cloud

Run depqbf in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command depqbf that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


depqbf - a solver for quantified boolean formulae

SYNOPSIS


depqbf [options ...] [NUM] [FILE]

DESCRIPTION


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. See also the JSAT system description of DepQBF 0.1
from QBFEVAL'10 for references and a brief outline of the idea.

depqbf reads QBF formulas in QDIMACS format. If FILE is not given, it reads its input from
stdin. It complies with input/output standards as required by QBFEVAL'10.

OPTIONS


depqbf accepts the following options:

-h, --help
Print usage information.

--version
Print version.

--pretty-print
Only parse and print formula.

-v Increase verbosity incrementally.

NUM Optional: time-out after NUM seconds.

FILE Optional: read input from FILE.

EXIT STATUS


The exit status is 10 if the QBF formula given as input is satisfiable, and 20 if it is
unsatisfiable; any other exit code indicates that the formula was not solved.

Use depqbf online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad