Versions Packages Information History Related Badges Report

Information for cryptominisat

Versions

  • 5.6.8.r171.gc1b9ed65
  • 5.8.0 (6)
  • 5.7.1 (3)
  • 5.6.8 (2)
  • 5.6.6
  • 5.6.4 (2)
  • 5.0.1
  • 4.5.3 (2)
  • 2.9.11 (2)
  • 2.9.8

Package names

  • academic/cryptominisat
  • cryptominisat (6)
  • cryptominisat2 (2)
  • cryptominisat4 (2)
  • cryptominisat5
  • cryptominisat5-git
  • math/cryptominisat

Repositories

Categories

  • Math
  • Sciences/Mathematics
  • Unspecified
  • academic
  • math (2)
  • misc
  • universe/misc

Licenses

  • LGPL
  • LGPLv2
  • MIT (4)

Summaries

  • A modern multi-threaded SAT solver. With experimental features enabled.
  • A modern, multi-threaded, feature-rich, simplifying SAT solver
  • Advanced SAT solver (2)
  • 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

Homepages

Downloads