Versions Packages Information History Related Badges Report

Information for spass

Versions

  • 3.9 (4)
  • 3.7
  • 3.2.5

Package names

  • spass (5)

Repositories

Categories

  • science
  • security
  • universe/science

Licenses

  • 2-clause BSD License
  • BSD 2-Clause
  • BSD-2-Clause

Summaries

  • An Automated Theorem Prover for First-Order Logic with Equality.
  • Automated theorem prover for first-order logic
  • Secure password generator with a true random number generator
  • automated theorem prover for first-order logic with equality

Maintainers

All package recipes