Versions Packages Information History Related Badges Report

Information for cryptominisat

Summaries

  • A modern multi-threaded SAT solver. With experimental features enabled.
  • A modern, multi-threaded, feature-rich, simplifying SAT solver
  • Advanced SAT solver (2)
  • Advanced SAT solver with C++ and Python interfaces
  • An advanced SAT Solver
  • General-purpose award-winning SAT solver
  • SAT solver (2)
  • SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat (2)

Maintainers

All package recipes

Downloads

Patches

Build logs