FEDORA-2015-14613 created by jjames 6 years ago for Fedora 23
stable

This new package is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights:

  • Instance simplification at every point of the search (inprocessing)
  • Over 100 configurable parameters to tune to specific needs
  • Collection of statistical data to MySQL database + javascript-based visualization of it
  • Clean C++ and python interfaces

How to install

sudo dnf install --advisory=FEDORA-2015-14613 \*

This update has been submitted for testing by jjames.

6 years ago

This update has been pushed to testing

6 years ago

This update has been submitted for stable by jjames.

6 years ago

This update has been pushed to stable

6 years ago

Please login to add feedback.

Metadata
Type
newpackage
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago
in stable
6 years ago

Automated Test Results