Versions Packages Information History Related Badges Report

Information for cryptominisat


  • 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 command-line interfaces
  • An advanced SAT Solver
  • General-purpose award-winning SAT solver
  • Incremental 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


All package recipes



Build logs