Letter C

cryptominisat - SAT solver

Website: http://www.msoos.org/
License: MIT
Vendor: Alcance Libre, Inc.
Description:
CryptoMiniSat 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

Packages

cryptominisat-5.7.1-4.fc14.al.i686 [112 KiB] Changelog by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0.

Listing created by Repoview-0.6.6-6.fc14.al