diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2016-12-12 16:20:38 -0200 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-12-12 16:20:38 -0200 |
| commit | 5351ab4b13aa46db5710ca3ffe659e8e691ba126 (patch) | |
| tree | e05f8012382713440ab00882262023888b5c7ae6 /abclib.dsp | |
| parent | cd92b1fea386707bd1dd3003d3fa630385528373 (diff) | |
| download | abc-5351ab4b13aa46db5710ca3ffe659e8e691ba126.tar.gz abc-5351ab4b13aa46db5710ca3ffe659e8e691ba126.tar.bz2 abc-5351ab4b13aa46db5710ca3ffe659e8e691ba126.zip | |
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights below) and ABC C version of
MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached
sufficient maturity to be committed in ABC, but still in a beta state.
TODO:
* Read compressed CNF files.
* Study the use of floating point for variables and clauses activity.
* Better documentation.
* Improve verbose messages.
* Expose parameters for tuning.
Diffstat (limited to 'abclib.dsp')
0 files changed, 0 insertions, 0 deletions