qute

KO | EN

gitlite — search

#python #react #golang #machine-learning #deep-learning #linux #docker #nodejs #java #awesome #cli #vue #ios #open-source

(★ 16)

Qute: a dependency learning QBF solver.

qute 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Qute: A Dependency Learning QCDCL Solver

Qute is a solver for quantified Boolean formulas (QBFs) based on quantified conflict-driven constraint learning (QCDCL).

## Installation

Use the following sequence of commands to clone the repository and build Qute:

```
git clone --recursive https://github.com/fslivovsky/qute.git
cd qute
mkdir build
cd build
cmake ..
make
```
Building requires **cmake** version 3.2 or newer and a C++ compiler that supports the C++14 standard.

## Usage

Qute accepts QBFs in QDIMACS or (cleansed) QCIR format.
```
qute [filename]
``` 
If no filename is given, Qute will read a formula from standard input.

By default, Qute will ignore the quantifier prefix and use a technique we call "dependency learning" to add necessary dependencies during runtime. In certain cases, this can be detrimental to performance. Dependency learning can be disabled by calling Qute with  the ```--dependency-learning off``` option.

For further options, call Qute with ```-h```.

## Citing

When citing, please cite our [2019 JAIR paper](https://jair.org/index.php/jair/article/view/11529) ([bibtex](https://dblp.org/rec/journals/jair/PeitlSS19.html?view=bibtex)).

qute

qute 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

qute

qute 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README