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
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop client is the
    official desktop app for Rocket.Chat,
    the simple but powerful open source web
    chat platform. It's tested on macOS,
    Windows...
    Download Rocket.Chat Desktop Client
  • 2
    OfficeFloor
    OfficeFloor
    OfficeFloor provides inversion of
    coupling control, with its: - dependency
    injection - continuation injection -
    thread injection For more information
    visit the...
    Download OfficeFloor
  • 3
    DivKit
    DivKit
    DivKit is an open source Server-Driven
    UI (SDUI) framework. It allows you to
    roll out server-sourced updates to
    different app versions. Also, it can be
    used fo...
    Download DivKit
  • 4
    subconverter
    subconverter
    Utility to convert between various
    subscription format. Shadowrocket users
    should use ss, ssr or v2ray as target.
    You can add &remark= to
    Telegram-liked HT...
    Download subconverter
  • 5
    SWASH
    SWASH
    SWASH is a general-purpose numerical
    tool for simulating unsteady,
    non-hydrostatic, free-surface,
    rotational flow and transport phenomena
    in coastal waters as ...
    Download SWASH
  • 6
    VBA-M (Archived - Now on Github)
    VBA-M (Archived - Now on Github)
    Project has moved to
    https://github.com/visualboyadvance-m/visualboyadvance-m
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    sgb2Tu...
    Download VBA-M (Archived - Now on Github)
  • More »

Linux commands

Ad