This repository is an implementation of the 2021 AAAI paper titled "A Sharp Leap from Quantified Boolean Formulas to Stochastic Boolean Satisfiability Solving". To compile, type
$ make
The default options for ClauSSat is set as -sguwc. Use the -h flag for more information about supported options.
Below are the options used for different versions of the clause selection framework.
original version: [-ge]
cued version: [-geuw]
cued+UAS vesion: [-geuwn]
certificate: +[-k]
qesto certificate: [-genk]
cued certificate: [-geuwnk]
onset/careset: +[-km] //must with certificate option